Wiley Encyclopedia of Computer Science and Engineering, 5-Volume Set

Wiley Encyclopedia of ComputerScience and Engineering......Page 2
ASYNCHRONOUS TRANSFER MODENETWORKS......Page 4
AIRCRAFT COMPUTERS......Page 14
TRANSLATION SOFTWARE, AND WEB......Page 25
ELECTRONIC WARFARE......Page 37
ENVIRONMENTAL SCIENCE COMPUTING......Page 52
EXPERT DECISION SYSTEM FOR ROBOT......Page 64
GEOGRAPHIC INFORMATION SYSTEMS......Page 75
HOME AUTOMATION......Page 85
HOME COMPUTING SERVICES......Page 95
REMOTE SENSING INFORMATION......Page 102
ROBOT KINEMATICS......Page 106
ROBOT MOTION PLANNING......Page 118
TRANSACTION PROCESSING......Page 125
ACTIVE CONTOURS: SNAKES......Page 141
COLOR: COLOR MODELS......Page 144
COLOR PERCEPTION......Page 154
CONTOUR TRACKING......Page 163
AND RANGE IMAGES......Page 168
FACE RECOGNITION TECHNIQUES......Page 184
FINGERPRINT IDENTIFICATION......Page 195
GEOMETRIC CAMERA CALIBRATION......Page 204
LEVEL SET METHODS......Page 215
MEDICAL IMAGE PROCESSING......Page 219
RADIOMETRIC CAMERA CALIBRATION......Page 229
RAY TRACING ACCELERATION TECHNIQUES......Page 239
SCALE-SPACE......Page 248
BEHAVIORAL SCIENCES AND COMPUTING......Page 258
BIOLOGY COMPUTING......Page 268
COMPUTATIONAL INTELLIGENCE......Page 278
COMPUTER ENGINEERING EDUCATION......Page 283
COMPUTER-SUPPORTED ASYNCHRONOUS......Page 291
COMPUTING ACCREDITATION: EVOLUTION......Page 299
CYBERNETICS......Page 305
ENGINEERING......Page 312
ETHICS AND PROFESSIONAL RESPONSIBILITY......Page 323
FIXED-POINT COMPUTER ARITHMETIC......Page 335
FLOATING-POINT COMPUTER ARITHMETIC......Page 349
FLUENCY WITH INFORMATION TECHNOLOGY......Page 360
INFORMATION TECHNOLOGY......Page 364
KERNEL......Page 373
MONITOR......Page 374
OVERHEAD......Page 376
QUALITY IN COMPUTER SCIENCE AND......Page 378
QUEUEING NETWORKS......Page 385
SWAPPING......Page 392
THRASHING......Page 393
THROUGHPUT......Page 395
VIRTUAL MEMORY......Page 397
WORKING SET......Page 401
ACTIVE DATABASE SYSTEMS......Page 403
ALGEBRAIC CODING THEORY......Page 414
BIOINFORMATIC DATABASES......Page 429
CONTENT-BASED MULTIMEDIA RETRIEVAL......Page 439
COOPERATIVE DATABASE SYSTEMS......Page 453
CoXML: COOPERATIVE XML QUERY......Page 468
DATA ANALYSIS......Page 485
DATABASE LANGUAGES......Page 498
DATA CLASSIFICATION......Page 510
DATA COMMUNICATION......Page 519
DATA COMPRESSION CODES, LOSSY......Page 531
TRANSPORTATION SYSTEMS......Page 543
DATA PRIVACY......Page 547
DATA SEARCH ENGINE......Page 551
DATA SECURITY......Page 559
DATA STRUCTURES AND ALGORITHMS......Page 579
DATA WAREHOUSE......Page 588
DECISION SUPPORT SYSTEMS: FOUNDATIONS......Page 597
DEDUCTIVE DATABASES......Page 609
DISCRETE EVENT SYSTEMS: UNTIMED MODELS......Page 625
DISK STORAGE......Page 634
ENTITY-RELATIONSHIP MODEL......Page 637
MULTIAGENT SYSTEMS......Page 647
OBJECT-ORIENTED DATABASES......Page 655
DESIGN, ENACTMENT, AND ANALYSIS......Page 670
REAL TIME DATABASE SYSTEMS......Page 683
RELATIONAL DATABASES......Page 696
SPATIAL DATABASES......Page 705
STATISTICAL DATABASES......Page 727
SYSTEM MONITORING......Page 737
TEMPORAL DATABASES......Page 747
TRANSACTION PROCESSING IN MOBILE,......Page 754
VERY LARGE DATABASES......Page 763
VISUAL DATABASE......Page 772
ALGEBRAIC GEOMETRY......Page 783
CHOICE UNCERTAINTY PRINCIPLE......Page 795
COMPUTATIONAL COMPLEXITY THEORY......Page 799
COMPUTATIONAL NUMBER THEORY......Page 806
CONVEX OPTIMIZATION......Page 817
DYNAMIC PROGRAMMING......Page 828
FORMAL LOGIC......Page 835
FRACTALS......Page 844
GEOMETRIC PROGRAMMING......Page 852
GRAPH THEORY AND ALGORITHMS......Page 865
INFORMATION ALGEBRA......Page 876
LINEAR AND NONLINEAR PROGRAMMING......Page 881
LOCALITY PRINCIPLE......Page 886
SIMULATIONS......Page 892
MARKOV CHAINS......Page 899
MIXED INTEGER PROGRAMMING......Page 908
MULTIGRID METHODS......Page 918
POSETS AND LATTICES......Page 936
PROBABILITY AND STATISTICS......Page 954
PROOFS OF CORRECTNESS IN MATHEMATICS......Page 968
REGRESSION ANALYSIS......Page 975
ROUNDING ERRORS......Page 985
ADDRESSING: DIRECT AND INDIRECT......Page 999
ANALOG-TO-DIGITAL CONVERSION......Page 1010
AUTOMATIC TEST GENERATION......Page 1024
CARRY LOGIC......Page 1043
CD-ROMs AND COMPUTER SYSTEMS......Page 1050
FOR WIRELESS SYSTEMS......Page 1070
COMPUTER ARCHITECTURE......Page 1081
DATAFLOW COMPUTERS: THEIR HISTORY AND......Page 1099
DATA STORAGE ON MAGNETIC DISKS......Page 1111
ELECTRONIC CALCULATORS......Page 1119
FAULT-TOLERANT COMPUTING......Page 1128
FIBER-OPTIC COMMUNICATION NETWORKS......Page 1140
HIGH-LEVEL SYNTHESIS......Page 1148
INSTRUCTION SETS......Page 1158
INTERCONNECTION NETWORKSFOR PARALLEL COMPUTERS......Page 1170
LCD DESIGN TECHNIQUES......Page 1181
LOGIC DESIGN......Page 1192
LOGIC SYNTHESIS......Page 1201
MICROPROGRAMMING......Page 1210
PEN-BASED COMPUTING......Page 1217
PROGRAMMABLE LOGIC ARRAYS......Page 1224
REDUCED INSTRUCTION SET COMPUTING......Page 1233
SPECULATION......Page 1242
STORAGE AREA NETWORKS......Page 1248
VIRTUAL MEMORY AND BUFFER STORAGE......Page 1256
VLSI CIRCUIT LAYOUT......Page 1264
COLLABORATIVE VIRTUAL ENVIRONMENT:......Page 1274
COLLABORATIVE VIRTUAL ENVIRONMENT:......Page 1282
WEB-BASED ISSUES......Page 1291
COMPUTER GAMES......Page 1300
CROWD SIMULATION......Page 1308
HIGH-QUALITY TEXTURE MAPPING......Page 1317
LIGHTING......Page 1323
PARAMETRIC SURFACE RENDERING......Page 1333
RADIOSITY......Page 1341
RENDERING......Page 1347
SOLID MODELING......Page 1354
SURFACE DEFORMATION......Page 1363
SURFACE MODELING......Page 1371
VIRTUAL CLOTHING......Page 1380
VOLUME GRAPHICS AND VOLUME......Page 1393
WARPING AND MORPHING......Page 1406
ARTIFICIAL INTELLIGENCE LANGUAGES......Page 1412
AUTONOMY-ORIENTED COMPUTING (AOC)......Page 1422
BIOINFORMATICS......Page 1429
BIOLOGICALLY INSPIRED NEURAL......Page 1437
COGNITIVE SYSTEMS AND COGNITIVE......Page 1448
DIMENSIONALITY REDUCTION......Page 1458
EVOLUTIONARY LEARNING......Page 1467
EXPERT SYSTEMS......Page 1475
FUZZY MODELING FUNDAMENTALS......Page 1485
GENETIC ALGORITHMS......Page 1497
GRANULAR COMPUTING......Page 1512
HOPFIELD NEURAL NETWORKS......Page 1519
INTELLIGENT AGENT......Page 1529
KNOWLEDGE ACQUISITION......Page 1538
KNOWLEDGE-BASED COMPUTATION......Page 1554
KNOWLEDGE MANAGEMENT APPLICATION......Page 1567
MACHINE LEARNING......Page 1581
NEURAL CONTROLLERS......Page 1587
NEURAL NETWORK ARCHITECTURES......Page 1598
PATTERN RECOGNITION......Page 1610
REASON MAINTENANCE SYSTEMS: TOOLS FOR......Page 1627
WEB INTELLIGENCE (WI)......Page 1632
ROUGH SET THEORY......Page 1643
AD HOC AND SENSOR NETWORKS......Page 1653
CHECKPOINTING PROTOCOLS AND......Page 1661
LARGE-SCALE DISTRIBUTED SYSTEMS......Page 1665
DISTRIBUTED DATABASES......Page 1675
DISTRIBUTED FILE SYSTEMS......Page 1685
ELECTRONIC DATA INTERCHANGE......Page 1699
FAILURE DETECTORS FOR ASYNCHRONOUS......Page 1707
GRADIENT-BASED OPTIMIZATION......Page 1718
INFORMATION AGE......Page 1735
METROPOLITAN AREA NETWORKS......Page 1740
MOBILE AND UBIQUITOUS COMPUTING......Page 1755
MULTICAST PROTOCOLS AND ALGORITHMS......Page 1767
NETWORK FLOW AND CONGESTION......Page 1776
NETWORK RELIABILITY AND FAULT-......Page 1784
NETWORK SECURITY FUNDAMENTALS......Page 1790
OPTICAL COMMUNICATION......Page 1802
PARALLEL AND VECTOR PROGRAMMING......Page 1812
PARALLEL ARCHITECTURES......Page 1824
PARALLEL DATABASE MANAGEMENT SYSTEMS......Page 1832
PEER-TO-PEER COMMUNICATION......Page 1839
PROGRAMMING MODELS: CLIENT–SERVER,......Page 1844
QUEUEING THEORY......Page 1849
SERVICE-ORIENTED ARCHITECTURE AND......Page 1862
SHARED MEMORY MULTIPROCESSORS......Page 1870
TELECOMMUNICATIONS SYSTEMS......Page 1882
DISTRIBUTED SYSTEMS......Page 1893
TRANSPORT LAYER......Page 1899
VIDEO CONFERENCING AND IP TELEPHONY......Page 1907
WIDE-AREA NETWORKS......Page 1913
WIMAX NETWORKS......Page 1920
ABSTRACT DATA TYPES......Page 1931
AGENT-ORIENTED SOFTWARE ENGINEERING......Page 1942
AGENT TECHNOLOGY......Page 1953
AGILE SOFTWARE DEVELOPMENT......Page 1961
ANALYTICAL CUSTOMER RELATIONSHIP......Page 1971
ASPECT-ORIENTED SOFTWARE DEVELOPMENT:......Page 1982
ASSEMBLY LANGUAGE......Page 1994
AUTONOMOUS DECENTRALIZED SYSTEMS......Page 1998
CAPABILITY MATURITY MODELS (CMM)......Page 2004
CLASS AND OBJEC......Page 2013
COMPONENT-BASED SOFTWAREENGINEERING......Page 2019
COMPUTER ANIMATION......Page 2024
CONCURRENT PROGRAMMING......Page 2036
DISTRIBUTED AND COLLABORATIVEDEVELOPMENT......Page 2043
EMBEDDED OPERATING SYSTEMS......Page 2052
EMBEDDED SOFTWARE......Page 2061
FAULT-TOLERANT SOFTWARE......Page 2069
FORMAL PROGRAM VERIFICATION......Page 2079
FORMAL SPECIFICATION......Page 2089
LAMBDA-CALCULUS......Page 2099
MIDDLEWARE FOR DISTRIBUTED SYSTEMS......Page 2107
OPTIMIZING COMPILERS......Page 2116
PARAMETER PASSING......Page 2126
PROGRAM TRANSFORMATION: WHAT, HOW,AND WHY......Page 2134
RAPID PROTOTYPING......Page 2145
REQUIREMENTS SPECIFICATION......Page 2151
SOFTWARE AGING AND REJUVENATION......Page 2161
SOFTWARE ARCHITECTURE......Page 2169
SOFTWARE COMPONENT REPOSITORIES......Page 2177
SOFTWARE CYBERNET......Page 2182
SOFTWARE EFFORT PREDICTION......Page 2191
SOFTWARE INSTRUMENTATION......Page 2196
SOFTWARE MODULE RISK ANALYSIS......Page 2207
SOFTWARE PERFORMANCE EVALUATION......Page 2215
SOFTWARE PRODUCT CERTIFICAT......Page 2225
SOFTWARE QUALITY CLASSIFICATION......Page 2229
SOFTWARE QUALITY MODELING AS ARELIABILITY TOOL......Page 2235
SOFTWARE SAFETY......Page 2243
SOFTWARE SECURITY......Page 2256
SOFTWARE TESTING: TESTING NEW SOFTWARE......Page 2269
SOFTWARE VERIFICATION AND VALIDATION......Page 2286
THE FINITE ELEMENT METHOD......Page 2301
UNIFIED MODELING LANGUAGE (UML)......Page 2314
VIENNA DEVELOPMENT METHOD......Page 2321
VISUAL PROGRAMMING LANGUAGES......Page 2332
VISUAL SOFTWARE ENGINEERING......Page 2342
ANSWER SET PROGRAMMING......Page 2352