2001

589 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
589
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
4
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

2001

  1. 1. modern 9 mr 4 4 the 36 these 9 to 9 when 9 [ saso 4 ``a 10 ``quenched 6 ``total 5 `build 4 `noisy' 9 `on 9 `screenscrape' 4 `typical' 9 16-bit 14 18 6 4 19th 5 20 4 200+ 6 2d 7 3d 15 3g 10 aaaf 1 4 aaaf 2 4 aaaf 3 4 aaaf 4 4 aaai 5 abandonment 9 abandons 9 abc 52 abilities 13 ability 64 able 46 abnormal 6 about 93 above 18 absent 9 abstract 116 abstraction 11 academic 5 acccess 8 accelerated 12 accelerator 9 accept 8 acceptable 4 accepted 17 access 68 accessed 4 accesses 7 accessibility 16 accessible 4 accomodate 6 according 9 account 27
  2. 2. accountable 3 accrue 4 accuracy 10 accurately 9 achievable 8 achieve 20 achieved 22 achieving 6 acids 8 acm 23 acquired 9 acquisition 13 across 5 acs 324 acs /cas/cs 6 acs 1 3 acs 2 3 acs 3 3 acs cas 6 acs cc 7 acs cs 216 acs cs cas 22 acs/cs 40 act 3 action 27 actions 7 active 17 activities 6 activity 17 actual 22 actually 6 actuator 5 actuators 9 acw 1 1 aczel 1 adapt 18 adaptable 12 adapted 6 adapting 22 adapting/developing 4 adaptive 9 add 12 added 9 adding 11 addition 50 additional 32 addressed 4 addresses 4 addressing 9 adds 9 adequate 12 ad-hoc 32 adopted 5 adopting 7 adoption 4
  3. 3. advanced 7 advances 6 advantage 44 advantageous 6 advantages 18 adversely 4 advice 4 aerodynamic 3 afc 24 affecting 5 again 16 against 27 agent 12 agent-based 14 agents 13 ago 15 agreement 16 ai 15 aid 7 aids 3 aig 6 aig's 6 aim 224 aimed 3 aims 31 air 3 aircraft 6 al 12 alexandria 1 algebra 46 algorithm 88 algorithmes 4 algorithmic 4 algorithms 142 alive 3 alleviate 9 allocated 5 allow 67 allowing 12 allows 31 almost 15 along 25 alongside 9 alphabet 4 already 25 alternative 34 alternatives 15 although 61 amateur 1 ambiguity 35 ambiguous 25 amenable 7 american 5 amino 8 amn 26
  4. 4. among 6 amount 15 amounts 10 amplification 3 amplified 35 amplitude 7 amplitudes 9 amulet 91 amulet = 1 amulet1 7 amulet2 7 amulet3 25 analogue 9 analyse 20 analysed 10 analyses 18 analysing 15 analysis 33 analytic 4 analytical 3 analyze 6 anatomical 6 anatomist 12 anatomy 42 ancient 1 and 3 and/or 28 angle-of-arrival 5 anicomp 7 animal 18 animals 36 animatable 13 animate 13 animating 13 animation 92 animator 7 annealing 6 annotated 4 annotations 16 annual 9 anonymous 18 another 89 answer 12 antecedent 3 antenna 24 antennas 17 anti-personnel 5 anybody 3 anyone 28 anything 13 api 32 apis 5 apparent 12 appear 9 appears 38
  5. 5. apple 1 applet 3 applets 6 applicability 11 applicable 7 application 178 applications 211 applied 20 applies 6 apply 15 applying 28 appointment 12 approach 223 approached 8 approaches 11 appropriate 43 appropriately 13 approximately 6 aps 4 apteco 18 architectural 37 architecture 80 architecture 7 architectures 18 area 112 areas 3 arguably 3 argumentation 3 1400 arguments 3 1200 arise 39 1000 800 arisen 5 600 arises 5 400 arising 12 200 0 arithmetic 16 advice amplitude animate applicable c++ centre about attempt benefit coherent/incoherent beat arises achieving asms cards commonalities classifying computers algorithms away ``quenched britsh chemistry completely aczel blocks arithmetisation 13 arm 17 arm' 6 arm-based 9 arms 12 arms' 4 around 25 arranged 3 arrangements 7 array 18 arrays 38 arrival 16 arriving 5 art 19 articles 3 articulation 3 artificial 10 asc/cs 5 ascertain 7 ascii 6 asic 5
  6. 6. asm 39 asm-based 13 asmgofer 39 asms 13 asp 9 aspects 36 assembler 28 assemblies 4 assess 8 assessed 10 assessment 3 assignment 13 assist 43 associated 33 association 5 associative 18 assumed 9 assumes 5 assuming 5 assumption 13 assurance 26 ast 10 asynchronous 91 asynchronously 7 atm 7 atomic 13 atomicity 39 attach 13 attack 10 attacks 6 attempt 28 attempts 9 attention 10 attitude 9 attributes 6 attribute-value 4 audio 32 august 5 authored 18 authoring 18 authors 6 autoepistemic 5 automated 34 automates 7 automatically 11 automating 1 automation 5 availability 28 available 114 avenues 9 average 15 avertising 13 avoid 6 avoidance 3 avoided 9
  7. 7. avoiding 3 aware 8 away 6 awkward 6 axes 12 axioms 3 back 6 back-end 3 background 41 backs 6 bad 9 bagging 6 balance 5 bands 9 bandwidth 3 bandwidths 9 baral 3 barbara 4 bare 6 bare-bones 8 barrier 4 base 46 based 285 bases 6 basic 76 basically 6 basis 35 bayesian 28 beam 10 beat 9 became 3 because 53 become 41 becomes 18 becoming 9 bed 5 befits 13 before 20 beginner 1 begun 9 behalf 3 behave 13 behavior 6 behaviour 60 behaviours 4 behind 12 belated 5 belgium 4 beliefs? 5 belief-updating 5 bell 28 belong 5 below 27 benchmark 5 benchmarks 4
  8. 8. beneficial 6 benefit 13 benefits 4 berners-lee 4 bespoke 4 'bespoke' 1 best 95 better 61 between 122 beyond 9 bibliography 12 bill 3 binary 12 bioinformatics 24 biological 19 biologists 7 biology 10 biomedical 6 biometrika 4 biopsy 3 bipolar 28 bit 7 bits 14 black 1 blinkers 3 block' 9 block 7 blocks 14 blocks 7 blurb 13 board 2 bodies 3 body 8 bonus 4 book 16 booking 5 books 14 boolean 5 boosting 6 borland 3 boström 4 botanical 18 botanists 6 botany 6 both 137 bottle 6 bottlenecks 3 bound 11 bounded 5 bounds 4 braille 4 branch 90 branches 18 bridges 9 british 1
  9. 9. britsh 1 broad 13 broadcasts 5 brown 4 browse 10 browser 6 browsers 6 browsing 3 bsd 2 b-tool 26 b-toolkit 91 budget 18 buffer 9 buffers 5 build 20 building 64 'building 9 built 27 bulding 3 bullet 1 bus 19 buses 9 businesses 4 buttercups 6 buzz-phrase 9 cc 9 c/c++ 8 c++ 55 caching 4 cad 12 cag 1 3 cag 2 3 cag 3 3 calculate 3 calculated 7 calculation 6 calculations 6 calculator 15 calculus 12 calibration 3 call 4 calls 5 cambridge 14 camera 6 camping 1 cancellation 10 candidate 4 candidates 3 cannot 28 capable 11 capacity 15 capture 26 captured 12 cardinality 4 cards 1
  10. 10. care 6 careful 4 carers 6 carlo 24 carole 3 carried 44 carries 7 carry 27 carrying 9 cas 40 case 89 cases 22 catalogue 6 catalysis 4 cause 15 causes 7 c-based 1 cbd 10 cck 1 1 cdma 20 cell 11 cellular 34 census 36 central 6 centralised 3 centrally 10 centre 24 centred 5 century 10 certain 9 certainly 16 certificates 9 chain 26 challenge 15 challenges 8 challenging 19 chance 3 change 4 changeable 3 changes 42 changing 11 channel 26 chaotic 5 chapter 4 characterise 1 characteristics 22 characters 6 character-strings 6 check 19 checked 1 checking 9 checks 21 chemical 8 chemistry 10 chess 2
  11. 11. china 1 chip 31 'chip 9 'chip-multiprocessor' 9 chips 12 chitta 3 choice 15 choices 18 choose 23 choosing 5 chosen 6 circuit 17 circuitous 5 circuits 18 circumstances 18 citizens 9 civil 7 clarify 5 clarity 9 class 5 classes 17 classic 16 classical 8 classification 3 classify 4 classifying 13 clatterbridge 3 clean 18 clear 15 clearly 15 clever 6 click 15 client 22 clients 6 clinic 6 clock 9 close 5 closely 9 closer 3 clsi 5 clustering 6 clutter 3 cluttered 3 cm 5 cml 4 cmos 14 coat 8 coats 8 cocoa 2 code 88 codes 5 coding 8 coherent/incoherent 3 cohse 3 coining 3
  12. 12. colgate 3 collaboration 12 collect 4 collected 9 collection 3 collections 6 collisions 3 co-location 3 colours 1 columns 4 com 14 combination 18 combinations 15 combine 3 combined 36 combining 13 come 9 comes 6 coming 14 comm 14 commerce 2 commercial 9 commission 5 common 20 commonalities 4 commonalties 6 commonly 20 commonplace 3 communicates 3 communication 29 communications 37 community 5 compact 9 company 6 comparative 26 compare 47 compared 11 compares 6 comparison 4 comparison/competition 4 compatibility 9 compete 1 competent 14 competitive 5 competitor 1 compilation 40 compiled 4 compiler 53 compiling 6 complement 6 complete 9 completely 4 completeness 5 completion 13 complex 85
  13. 13. complexities 6 complexity 62 compliant 4 complicated 18 complicating 9 complications 9 component 55 component-based 40 components 82 composition 4 compound 7 comprehensive 4 compressed 7 compression 14 comprise 7 computability 3 computation 30 computational 59 compute 10 computed 5 computer 172 computer s 5 computer-aided 5 computers 34 computing 49 conceive 9 concentrate 5 concentrated 9 concentrates 19 concept 8 concepts 50 concepts' 6 concepts/classes 4 concern 16 concerned 23 concerning 6 concerns 14 concisely 4 concordance 6 concordancer 6 concrete 8 concurrency 20 condition 6 conditional 13 conditionalizing 5 conditions 10 conduct 3 conducted 6 conducting 3 conference 9 confidence 9 configurable 7 configuration 6 conflicting 3 conformant 6
  14. 14. confronting 6 confusion 6 congenial 6 congestion 10 conjunction 22 connected 19 connecting 12 connections 13 connective 10 connectivity 5 consequence 6 consequent 4 consequently 3 consider 8 considerable 13 considerably 13 consideration 13 considered 15 considering 6 consist 13 consistency 27 consistent 39 consists 8 consortia 3 constant 6 constants 13 constituent 8 constrained 10 constraint 10 constraints 13 construct 16 constructed 12 constructing 6 construction 3 consultation 1 consumer 5 consuming 14 consumption 13 contact 19 contain 13 contained 6 containing 4 contains 10 contents 24 contests 12 context 19 contexts 19 continous 7 continues 26 continuous 27 continuous-time 4 contrast 4 contribute 3 contribution 18 control 78
  15. 15. controlled 86 controllers 18 controlling 6 convenience 5 convenient 4 conventional 12 convergence 5 conversation 6 conversation 6 conversely 5 conversion 10 conversions 1 convert 9 conviction 10 convincing 3 convolution 3 cooking 6 cooley 4 co-operate 3 coordinate 3 cope 4 copies 3 coprocessor 54 coprocessors 36 copy 30 corba 23 corba-fact 16 core 11 corner 1 corners 1 correct 51 correcting 6 correction 3 correctly 18 correctness 14 correlates 6 correspond 10 correspondence 4 corresponding 34 corresponds 4 cost 19 could 160 countermeasures 3 counterparts 3 counting 5 country 9 couple 6 coupled 7 course 77 course? 5 courses 13 cover 9 covered 5 cpu 54 create 27
  16. 16. creating 7 creatively 9 credit/debit 1 credited 3 crests 4 crews 7 crime 3 criteria 6 criterion 4 critical 25 cross 13 cross-linking 4 crowther 3 crucial 4 cryptography 3 cs 202 cs acs 3 cs cas acs 6 cs//cas/acs 6 cs/acs 53 cs/acs/cas 4 cs2072 3 cs2242 14 cs3071 3 cs3172 3 cs643 8 ct 3 curently 13 currect 3 current 147 currently 51 curves 10 customers 6 customise 4 customised 5 da 9 dm 4 dae 1 1 daml+oil 104 damping 6 data 511 database 76 databases 61 database-specific 3 dataflow 63 datagrams 3 datalog 21 datapath 14 datapaths 7 datasets 13 dated 4 day 11 days 13 de 28 dead 3
  17. 17. deal 17 dealing 4 debugging 12 dec 3 decade 3 decidable 20 decision 30 decisions 22 declarative 15 decreases 6 decreasing 8 decsribing 3 dedicated 14 deduction 13 deemter 5 deepen 9 default 1 define 16 defined 31 defining 10 definitely 3 definitions 6 degree 19 degrees 3 delay 8 delayed 18 delays 11 deliberately 5 delightfully 1 delivered 5 delivers 3 demonstrate 9 demonstrated 4 demonstrating 3 demonstration 12 demonstrations 24 denial 7 denotational 3 density 4 dental 12 department 64 departmentÿýs 3 depend 5 dependence 9 dependencies 22 dependent 23 depending 12 depends 19 depiction 13 deployment 4 dept 1 derive 4 derived 4 derives 7 describe 3
  18. 18. described 34 describes 5 describing 13 description 131 descriptions 38 descriptions 6 descriptions 12 descrption 5 desgin 9 deshpande 4 design 326 designed 53 designers 7 designing 14 designs 16 desirable 14 desire 6 desired 12 desktop 1 desk-top 6 despite 13 destination 25 detail 12 detailed 16 details 52 detect 6 detecting 5 detection 26 determination 4 determine 31 determined 11 determining 12 detracting 4 deva 12 develop 116 developed 172 developer 26 developers 10 developing 59 development 307 development cbd 4 developmental 6 developments 5 develops 6 deviation 6 device 11 devices 46 devise 9 devised 24 devising 8 di/dt 9 diagram 8 diagrammatic 4 diagrams 31 dialogues 6
  19. 19. dictionaries 1 did 6 difference 6 differences 14 differences 6 different 242 differential 28 difficult 45 difficulties 6 difficulty 5 diffuse 5 digital 69 dimensional 25 dimensionality 10 dimensions 40 diophantine 52 direct 22 direction 25 directions 10 directly 14 directness 4 dis 14 disabled 16 disadvantages 12 disambiguated 5 discarded 18 discarding 5 discharging 13 disciplines 7 discovered 3 discovery 12 discrete 51 discriminating 5 discuss 42 discussion 6 disjunctive 21 disk 7 disks 4 display 42 display 6 display/plot 4 displayed 8 displaying 10 displays 5 'dissecting 6 'dissections' 6 dissertation 3 dissipate 9 distance 15 distant 3 distinct 13 distinctive 5 distinguish 10 distinguishable 5 distortion 8
  20. 20. distributed 85 distribution 44 distributions 8 diverge 8 division 5 dl 13 dlv 9 dna 48 doa 3 docket 5 doctor 3 doctors 6 document 10 documentation 14 documents 12 doesn't 5 dog 6 doing 19 dom 10 dom4j 6 domain 46 domains 7 dominance 5 doms 18 done 57 dorian 4 dormant 4 doug 1 doug@cs man ac uk 1 down 23 downlink 5 down-link 18 dr 12 dramatically 3 draw 3 drawing 12 drawn 10 draws 3 drivers 5 driving 12 drug 12 dsp 28 due 22 dupont 4 during 40 dynamic 48 dynamically 12 dynamics 10 dzeroski 4 eg 74 earlier 4 earliest 5 early 20 earthly 13 ease-of-understanding 5
  21. 21. easier 25 easily 18 easy 26 echo 10 echoes 10 e-commerce 4 e-consumer 4 e-consumers 8 ed 3 edges 4 edinburgh 19 editor 26 editors 3 edma 20 eds 9 education 14 educational 27 edwards 5 ee 8 effect 23 effective 32 effectively 5 effectiveness 11 effects 53 efficacy 6 efficiency 28 efficient 43 efficiently 10 effort? 5 eg 17 egypt 3 eh 1 5 eh 2 5 eh 3 5 eh 4 5 eh 5 5 eight-foot 3 eijck 5 either 51 electrical 7 electromagnetic 9 electronic 43 electronics 6 element 24 elements 55 elicit 4 eliminate 12 else 6 elsewhere 4 email 1 em-algorithm 4 embedded 9 embedding 4 embodies 3 embryological 6
  22. 22. emc 18 emerged 3 emergent 6 emerging 22 emitted 27 emphasis 12 employed 9 employs 14 enable 27 enables 9 encode 23 encoding 7 encodings 7 encompass 4 encompasses 7 encountered 5 encryption 7 end 25 endow 5 end-user 6 energy 18 engage 3 engine 33 engineer 13 engineered 5 engineering 48 engineers 10 engines 13 english 11 english'' 5 enhance 6 enhancements 9 enjoys 13 enough 40 enrico 9 ensuing 13 ensure 14 entered 17 entering 4 enterprise 12 enthusiastic 3 entire 5 entity 6 entry 3 environment 198 environmental 6 environments 21 envisaged 35 epistemic 15 equal 5 equalisers 4 equality 5 equality'' 5 equally 1 equation 67
  23. 23. equations 60 equations t 3 equipment 21 equivalent 8 error 23 error-prone 5 errors 12 esl 7 especially 13 essential 39 essentially 3 estimate 6 estimated 6 estimating 9 estimation 8 et 21 etc 30 euclidean 5 euroepan 7 europe 3 european 3 'eurospeak' 6 evaluate 12 evaluated 30 evaluating 11 evaluation 51 evaluator 7 even 39 event 13 events 3 eventual 11 every 56 everything 20 evidence 13 evidence? 5 evolution 21 evolutionary 44 evolve 6 evolved 7 exact 42 exactly 37 examine 23 examined 13 example 135 examples 65 excellent 6 except 5 exceptionally 3 exchange 23 exchanges 6 exciting 20 exclude 8 executable 9 execute 18 executed 27
  24. 24. executes 4 execution 22 exercise 10 exercised 4 exercises 14 exhibit 7 exhibits 5 exist 10 existing 128 exists 12 exiting 8 expect 5 expected 34 expenses 10 expensive 18 experience 46 experiment 12 experimental 15 experimentally 4 experimenting 6 experiments 29 expert 8 experts 8 explain 3 explaining 6 explanation 6 explicit 20 explicitly 5 exploit 9 exploited 7 exploits 4 explore 80 explored 10 exploring 10 explosion 5 exponential 52 exponentiation 13 express 47 expressed 13 expression 36 expressions 14 expressive 23 expressiveness 4 extend 38 extended 35 extending 28 extensible 6 extension 16 extensions 5 extensive 7 extensively 5 external 6 extra 11 extract 21 extracted 6
  25. 25. extracting 3 extraction 10 extremely 3 face 4 faced 3 facilitate 11 facilitated 4 facilities 63 facility 18 fact 47 facto 6 factor 19 factorization 4 factors 9 fai 6 fail 6 failure 16 failures 13 fair 9 fairly 39 fall 6 familiar 19 familiarity 5 families 4 far 52 fare 13 fast 13 faster 4 faults 5 favour 9 favoured 12 favourite 6 fax 1 fc 2 3 fc 3 3 fc 4 3 fcc 10 fdma 5 feasibility 4 feature 14 features 24 federal 5 federation 1 feedback 18 feel 9 fees 1 felt 3 fetched 25 fetching 9 few 9 fewer 5 ff 5 field 58 fields 28 fifth 12
  26. 26. figure 6 file 10 filer 15 files 3 filter 5 filters 3 final 9 finally 34 find 56 finding 9 finds 6 fine 3 fine-tune 5 finish 5 finite 16 finite-state 4 fired 5 firework 5 firing 5 first 84 firstly 5 first-order 30 fit 6 fits 12 fitted 9 fitting 3 five 23 flag 6 flags 9 flavour 1 flavours 6 fledged 29 flexibility 3 flexible 24 flexible 1 floating 36 flock 3 flocking 15 focus 7 focuses 3 focussing 13 follow 3 followed 8 following 18 fondements 4 food 4 footprint 7 foraging 6 forbus 5 force 25 forced 5 force-feedback 6 forces 16 forever 6 form 150
  27. 27. formal 170 formalised 6 formalising 6 formalism 26 formalisms 18 formalize 6 formally 26 format 16 formats 1 former 15 forming 5 forms 49 formula 9 formulae 7 formulas 5 forthcoming 8 forwarded 5 forwarder 15 fought 6 found 13 foundation 7 foundations 4 four 26 four- 7 fourier 9 four-phase 7 fourth 4 fpgas 25 fraction 6 fracture 3 fragment 65 fragments 46 frame 31 frames 4 framework 17 frameworks 11 franconi 9 free 25 freedom 3 freely 4 french 4 frequencies 9 frequency 18 frequently 5 friendly 6 front 6 frustratingly 9 fsm 8 fsms 8 full 36 fully 55 'fun' 7 function 11 functional 28 functionality 36
  28. 28. functions 52 fundamental 9 further 33 furthermore 5 furthest 5 futher 12 future 26 gabriel 5 gain 10 gained 5 galen 30 galen's 12 gallery 3 galn 12 game 27 games 38 game-theoretic 6 gaps 4 gardening 6 gas 5 gate 53 gather 8 gave 1 gdk 3 gene 16 general 72 generalization 6 generalize 6 generalizes 10 generalizing 6 generally 20 generate 38 generated 12 generates 9 generating 35 generation 59 generator 12 genes 20 genetic 42 genome 19 genomes 3 gentleman 4 geographical 5 geographically 3 geometric 15 geometrical 10 geometry 3 germany 3 get 29 getting 8 gibson's 3 gims 6 give 48 given 81 gives 21
  29. 29. giving 4 glib 1 global 15 globus 3 gnome 1 gnu 1 go 18 goal 105 gofer 13 gone 3 good 70 gp 6 grafted 7 grail 60 grammar 16 grammars 4 grammatical 16 grammaticale 4 grant 9 granted 6 graph 89 graphical 61 graphically 5 graphics 67 graphs 27 gravity 3 great 9 greater 3 greatly 5 green 4 grid 3 ground 5 group 170 grow 5 growing 5 grust 16 gtk 2 gtk+ 3 guarded 10 guess 3 guessed 3 gui 25 guide 4 guides 6 gui's 5 gurd 9 guts 13 gy 6 gzipped 5 had 1 hand 27 hand' 6 'hand 6 handheld 5 handle 6
  30. 30. handy 3 hans 5 happened 1 happening 11 happens 6 haptic 3 haptic/force 3 haptics 3 hard 10 hardly 13 hardware 148 hardware-based 9 harmonic 9 having 43 hawaii 10 he 3 head 29 head-mounted 3 heads 4 health 9 heart 26 heath 6 heavily 9 held 22 help 22 helpful 4 helping 12 helps 1 hence 10 hennessy 9 henrik 4 here 28 hertz=92 5 hidden 5 hides 10 hierarchical 10 hierarchy 16 high 73 high-dimensional 4 higher 35 highest 13 high-level 17 highlights 6 highly 4 high-performance 14 hilbert's 13 him 3 his 7 historical 6 history 49 hmds 3 hobbies 5 hold 9 home 17 homepage 4
  31. 31. homologies 6 homologous 12 homology 6 'homology' 6 hooks 4 hop 10 hope 9 hoped 7 hopefully 7 hops 15 hospital 6 hot-spots 5 housed 3 housekeeping 5 how 130 http //aig cs man ac uk/research/reveal/icarus/index html 3 http //aig cs man ac uk/research/reveal/index html 3 http //cohse semanticweb org3 http //cs man ac uk/mig 6 http //cs man ac uk/mig/galen6 http //img cs man ac uk/oil 7 http //java sun com/products/jce/ 3 http //java sun com/security/ 3 http //sig biostr washington edu/projects/da/ 6 http //smi-web stanford edu/projects/protege/ 6 http //synaptic mvc mcc ac uk/simulators html 3 http //www ana ed ac uk/anatomy/database 6 http //www bell-labs com/project/classic/ 4 http //www c man ac uk/mig18 http //www corba org/ 4 http //www cs man ac uk/~horrocks/publications/download/1998/tableaux98 ps gz 4 http //www cs man ac uk/~horrocks/publications/download/1999/dl99-fact ps gz 4 http //www cs man ac uk/~horrocks/slides/daml-pi-jul-01 pdf 4 http //www cs man ac uk/~horrocks/slides/hp-labs pdf 4 http //www cs man ac uk/fact 12 http //www cs man ac uk/mig/galen 12 http //www cs umd edu/users/hendler/ontologies html 4 http //www daml org/ 4 http //www daml org/2001/03/daml+oil-walkthru html 4 http //www dis uniroma1 it/~tancs/ 4 http //www eecs umich edu/~rthomaso/kr/classic-tutorial html 4 http //www eng man ac uk/aero/wjc/research/flocking/flockingindex htm 3 http //www hpl hp co uk/people/bwm/rdf/jena/ 4 http //www ksl stanford edu/ksl_abstracts/ksl-94-18 html 6 http //www ontoknowledge org/oil/ 4 http //www ontoknowledge org/oil/syntax/standard-oil/ 4 http //www reachin se/ 3 http //www semanticweb org 3 http //www techreview com/articles/frauenfelder1101 asp 4 http //www topology org/palmsoft html 5 http //www w3 org/submission/2001/12/ 4 http //www w3 org/tr/soap/ 4 hubs 5 human 40 human-computer 3
  32. 32. human-readable 4 humans 13 hundreds 13 hypermedia 3 hypertext 3 hypotheses 36 hypothesis 27 hysteresis 4 ie 40 ian 10 icarus 9 idea 33 ideal 4 ideally 25 ideas 33 identical 27 identified 14 identify 27 identifying 8 identities 3 identity 3 ie 40 iee 3 ieee 5 ignore 6 ihaka 4 ii 6 illuminate 13 illumination 6 illustrate 30 illustrates 3 illustrating 7 ilp 39 image 19 images 18 imagination 3 imagined 6 imaging 10 immature 3 immediate 15 immersive 3 impact 5 impaired 3 impairments 5 imperative 20 imperfection 5 imperial 6 implement 111 implementation 160 implementations 27 implementationsÿý 5 implemented 46 implementing 27 implemention 7 implements 4
  33. 33. implication 3 implications 5 implies 12 importance 9 important 45 importantly 3 impose 5 imprecisions 9 improve 23 improved 14 improvement 16 improvements 12 improves 3 improving 3 impulse 10 impulses 6 inactive 4 inadequate 4 inbuilt 26 include 74 included 4 includes 19 including 43 inclusion 3 incoming 4 inconsistencies 15 inconsistent 9 inconvenient 4 incorporated 11 incorporation 3 increase 23 increases 14 increasing 27 increasingly 40 indeed 7 indefinitely 6 independent 21 independently 7 indexing 18 indicate 6 indication 13 individual 33 individuals 5 induce 16 induced 4 inducible 4 inducing 4 induction 4 inductive 4 industrial 11 industry 8 inference 62 inférence 4 inferences 4 inferring 12
  34. 34. infinite 5 infinitereality 3 infinity 5 influence 6 influencing 5 informally 17 informatics 30 information 339 infrastructure 8 ingenious 13 inherent 9 inhibits 7 initally 9 initial 21 initially 14 input 39 input/output 13 inputs 7 inputted 4 inquiry 5 inria 4 ins 26 insertion 3 insight 3 insofar 4 inspiration 3 instabilities 3 install 6 installation 9 installations 3 installed 1 instance 9 instance highlight 4 instead 4 institute 3 institutions 4 instruction 102 instructions 181 instrument 3 instrumentation 24 instruments 11 insure 6 integers 13 integrated 22 integrating 13 intelligence 10 intelligent 35 intended 41 intensive 13 intent 9 intention 6 interact 14 interacting 6 interactins 3 interaction 129
  35. 35. interactions 1 interactive 37 interactively 3 interception 7 interconnect 9 interconnecting 7 interconnection 14 interconnections 14 interest 72 interested 85 interesting 24 interests 6 interface 78 interfaces 26 interfacing 9 interfere 5 interference 41 interfering 5 intermediate 47 'intermediate 6 internal 38 international 10 internet 10 interoperability 8 interpose 4 interposed 8 interpret 10 interpretation 5 interpreted 18 interpreter 13 interrogate 3 interval 6 intractably 4 intriguing 1 introduce 3 introduced 9 introduction 26 introductory 3 invalid 9 invariant 6 invention 13 inventor 7 investigate 95 investigated 6 investigates 3 investigating 20 investigation 30 invlove 9 involve 73 involved 49 involves 68 involving 14 ip 6 ipv4/ipv6 1 ir 12
  36. 36. irc 1 irh 1 4 irh 2 4 irh 3 4 irh 4 4 irh projects 4 irregular 6 is-95 5 isbn 40 isn't 5 iso 5 issued 9 issues 35 issuing 3 issuitable 3 it /they 9 items 24 iterate 4 iterator-based 4 it's 19 itself 38 iw 1 9 iw 2 9 iw 3 1 jl 9 jr 9 jago 3 jamaica 36 jan 5 january 5 japan 1 jaspars 5 java 241 javabeans 7 jaws 4 jd 1 3 jd 2 3 jd 3 3 jdbc 1 jdg 1 9 jdg 2 9 jdg 3 9 jdg 4 9 jdom 6 jena 4 jersey 4 jjm 9 jjm1 3 job 5 job' 9 john 6 joint 8 jointly 12 joseki 2 journal 9
  37. 37. jump 12 just 23 justification 3 kd 5 km 4 kahn 5 kanerva 18 karlsruhe 3 kaufmann 17 kb 4 kbs 4 kdd 4 kept 5 kernel 3 key 11 kinds 23 kirkham 9 kits 7 kleer 5 klocs 8 km 8 know 35 knowing 11 knowledge 188 knowledge'' 5 known 68 knows 5 knows ? 5 kolmogorov 6 korea 1 kuper 5 lab 7 laboratory 21 lack 9 lacking 3 laer 12 lafont 13 lam 6 lan 5 land 3 langley 16 language 391 language 6 languages 126 languages---the 5 languages---usually 5 lard 9 large 70 large/complex 3 largely 10 larger 17 larger-scale 3 large-scale 39 largest 1 last 21
  38. 38. late 9 latency 10 latent 12 later 9 latest 22 latter 17 lauritzen 4 lavrac 4 laws 3 layer 4 layout 10 lead 10 leading 12 leads 7 learn 32 learners 4 learning 145 learnt 4 least 9 leaves 5 lecture 7 lectures 4 led 8 leda 6 lee 4 lee's 7 left 4 legislation 3 lego 3 lemb 1 7 lemb 2 7 lemb 3 7 lemb 4 7 lemb 5 7 lemb 6 7 lemb 7 7 lend 13 length 21 lengths 6 leonid 5 less 27 leuven 12 level 119 level 6 levels 56 levesque 5 lewis 7 lexical 7 libkin 5 libraries 4 library 25 licence-exempt 5 lies 4 light/sonar/ir/touch 5 lightweight 9
  39. 39. like 77 likelihood 4 likely 53 limit 5 limitation 6 limitations 26 limited 42 lindenbaum 5 line 9 linear 26 linearly 6 lines 11 link 9 linked 6 linking 19 links 3 linux 8 linux/bsd 1 linux/dos 5 lisp 8 list 16 listing 5 lists 6 literature 3 little 22 liver 3 living 11 llk 6 llr 6 lnai 5 loaded 3 loading 5 loads 13 local 19 locally 3 located 5 locating 18 log 5 logged 10 loggers 3 logic 350 logic acs/cas 6 logical 51 logic---alien 5 logically 13 logic-based 22 logicians 4 logics 17 logics 5 logic---that 5 logo 13 logo's 13 loked 5 long 41 longer 23
  40. 40. look 52 looking 6 looks 6 loosely 6 lost 9 lot 3 low 62 lower 7 low-level 23 low-power 14 luc 4 lucent 10 lvs 12 mc 1 m sc 14 m13 1 mac 10 machine 133 machines 50 macintosh 2 macos 6 macros 1 made 25 magdis acs cs 5 magic 1 magnetic 54 magnetics 5 magnets 20 magnitude 10 mail 12 main 40 mainly 5 mainstream 9 major 36 make 111 makes 37 making 16 manage 6 managed 5 management 34 manager 4 managing 6 manchester 88 mandatory 9 manifest 9 manipulate 5 manipulated 6 manipulation 33 manipulations 15 manner 31 manoeuvre 3 manual 49 manually 17 manufacturing 7 many 159
  41. 41. map 13 mapped 19 mapping 27 maps 15 marconi 5 market 13 markov 26 markov-chain 6 markup 4 mars 6 marshalling 3 massachusetts 5 mastered 3 masters 3 matching 6 material 40 materials 16 mathematical 79 mathematics 13 maths 3 matlab 7 matrix 19 matter 5 maui 5 maverik 6 maximise 13 maximising 5 maximize 3 maximum 9 may 288 maynard 6 mbit/s 1 mcmc 22 me 38 mean 17 meaning 4 meanings 8 means 81 meant 10 measure 28 measured 9 measurement 4 measurements 16 mechanical 13 mechanism 22 mechanisms 13 media 17 medical 111 medicine 6 medium 15 medium-sized 9 meets 9 member 3 membership 1 memories 9
  42. 42. memory 144 merabti 3 merely 5 merlin 4 messages 7 met 15 metadata 3 meta-data 4 meta-models 5 metaphor 3 metering 5 method 48 methodologies 27 methodology 10 methods 106 metric 6 micro 6 microarray 20 microcontroller 9 micromagnetic 3 micropipelines 7 'micropipelines' 7 microprocessor 18 micro-processor 9 microprocessors 18 mig 12 might 83 mig's 6 military 7 million 11 mines 5 minimal 31 minimise 17 minimised 9 minimising 15 minimum 4 mining 40 mint 11 minutes 3 missing 9 missions 6 mit 36 mixed 4 mixture 18 mjc 1 3 mjc 2 3 mjc 3 3 mmu 9 mmw 2 6 mmw 3 6 mmw 4 6 mmw 5 6 mmw 6 6 mmw/js 1 6 mobile 73
  43. 43. mobile-ip 3 modal 30 mode 13 model 267 modeling 18 modelled 9 modeller acs cs 5 modelling 93 models 210 model-theoretic 5 modern 64 modification 7 modifications 7 modified 7 modify 9 modifying 4 modularity 7 module 18 modules 12 molecular 4 molecule 4 molecules 16 molecule's 4 moment 6 money 6 monitor 21 monitoring 14 monitoring acs cs 5 monitors 6 monstr 91 monte 24 month 13 more 208 moreover 5 more-than-one 3 morgan 17 most 98 mostly 6 motivated 18 motivation 4 move 8 movements 12 moves 3 moving 21 mphil 14 mphil/phd 7 mr 1 4 mr 2 4 mr 3 4 mri 3 msc 94 much 89 mud 5 multi 3 multi-dimensional 3
  44. 44. multiflora 24 multi-hop 5 multimedia 1 multi-media 8 multipath 5 multi-platform 1 multiple 61 multiple-access 5 multiplication 13 multi-threading 9 multiuser 5 multi-user 10 music 5 must 122 mutation 4 mutations 8 mvc 6 my 3 myself 5 myths 4 n w john@man ac uk 3 n*p 4 na=efve 1 nada 4 naively 5 name 1 namely 13 names 4 nanotechnology 5 narrowband 10 national 6 native 1 natural 93 naturally 16 nature 25 navigate 5 n-dimensional 5 near 26 nearby 9 near-far 5 necessary 28 neck 6 need 87 needed 49 needs 62 negotiated 13 neighbour 10 neighbours 22 neither 7 nelson 6 nested 13 nets 117 network 119 network' 9 networked 6
  45. 45. networking 42 networks 131 neural 101 neurons 12 neuroscience 6 never 5 new 197 newer 4 nexptime-complete 5 next 57 nextstep 1 nfs 3 nice 30 nick 5 nielson 6 nigel 3 nivelle 5 nlp 6 no 1 9 node 35 nodes 78 noise 89 non 1 nondeterministic 6 none 6 non-harmonic 14 non-linear 16 nonmonotonic 19 non-negative 4 non-numeric 6 nonograms 7 non-redundancy 3 non-speech 4 nontrivial 3 non-trivial 5 non-visual 8 nordin 6 normal 28 normally 10 north 5 not? 5 notation 39 notational 5 notations 4 note 11 notes 7 nothing 11 notice 10 notion 6 novel 41 november 5 now 39 nowadays 17 np 3 np-complete 3
  46. 46. npf 1 5 npf 2 5 npf 3 5 npf 4 5 nt/2000 5 number 218 numerical 6 numerous 6 nwj 1 3 nwj 2 3 nwj 3 3 nz1 3 nz2 3 nz3 3 obey 3 obeys 6 object 63 objective 57 objective-c 1 object-oriented 27 objects 28 obligations 26 observed 4 obstacle 3 obstacles 9 obstructed 5 obtain 6 obtained 3 obtaining 7 obvious 18 obviously 17 occurrence 5 occurs 9 ocl 7 odmg 7 offer 19 offered 5 offering 5 offers 7 off-line 3 off-screen-model 4 often 43 oil 86 oil acs cs 6 oil/daml 4 oiled 35 ok 13 omission 5 'on 9 once 12 on-chip 18 oncology 3 one 381 ones 20 one's 15
  47. 47. ongoing 3 on-going 13 online 1 on-the-fly 5 onto 19 ontological 4 ontologies 94 ontologists 3 ontology 117 'ontology' 12 ontology-based 3 onyx 3 oo 13 oodbms 7 open 14 opengl 9 opening 4 openings 1 opens 1 operate 9 operating 19 operation 33 operational 13 operations 47 operator 5 opnet 6 opportunities 6 opportunity 12 opt 7 optical 49 optical 7 optics 5 optimal 6 optimal? 6 optimisation 10 optimisations 4 optimised 20 optimiser 3 optimization 11 optimizations 4 optimized 3 optimum 25 option 13 optionally 9 oql 35 order 83 ordered 6 ordinal 6 ordinary 10 organisations 4 organism 6 organizations 4 orginally 1 oriental 1 orientation 1
  48. 48. oriented 35 orienteering 2 original 21 originally 5 originating 10 origins 4 other 163 others 14 otherwise 6 our 44 out 161 outcome 21 outperformed 4 output 31 outputs 7 outside 14 outweigh 5 over 89 overall 17 overcame 4 overcome 6 overhead 33 overlapping 5 overlay 3 overly 8 own 20 oxford 4 p h|d 6 p720 14 package 26 packages 23 packet 60 packets 44 page 27 pages 3 paid 5 pair 5 pairs 8 palm 15 palm/psion 5 palmolive 3 paper 11 papers 16 paradigm 3 parallel 70 parallelism 41 parameters 20 paredaens 5 parse 27 parse 6 parsed 12 parser 16 parser/validator 4 parsers 3 parses 5
  49. 49. parsimonious 6 parsing 8 part 65 partial 7 participating 7 particle 4 particles 12 particular 101 particularly 40 particullar 5 parties 3 partly 26 parts 25 party 3 passive 3 past 12 pat 4 path 5 patient 9 patients 6 pattern 35 patterns 28 patterson 9 paw 6 pay 11 payment 1 pc 14 pcs 6 pc's 5 peak 4 peer-to-peer 5 penalty 9 penetration 5 pentti 18 people 23 per 10 percent 6 perception 24 perfect 26 perform 48 performance 164 performed 9 performing 17 performs 5 perhaps 17 periodically 6 permits 14 permitting 18 permutations 7 persistent 4 person 10 personal 6 persons 5 perspective 8 pertaining 13
  50. 50. pervasive 5 peter 7 petera@cs man ac uk 1 peters 5 phantom 9 pharmacy 6 phase 15 phases 20 phd 22 phenomena 26 phenomenon 19 phga 1 1 phones 7 phy 1 phylogenetic 20 phylogeny 8 physical 32 physics 9 pi 10 pi-calculus 13 pick 18 picked 9 picosecond 1 picture 5 piece 3 pieces 13 pierre 4 pilot 5 pipeline 9 pipelined 48 pipelines 9 pipes 8 pki 6 pki-based 6 place 13 plan 17 planning 14 plans 4 plants 3 platform 23 platform-independent 3 platforms 5 platform-specific 3 play 4 played 9 player 1 players 3 playing 1 please 31 plenty 19 plethora 3 plotting 4 plugged 7 plug-in 3 plus 3
  51. 51. p-n 4 pocket 5 poet 7 point 75 point-of-view 6 points 14 police 3 policy 4 polynomial 16 poorly 6 popular 6 populating 3 population 9 port 10 portable 9 ported 1 porting 2 portion 4 pose 13 posing 6 position 3 positions 3 possesses 22 possibilites 9 possibilities 20 possibility 39 possible 157 possibly 20 postcodes 6 postscript 3 potential 56 potentially 5 power 104 power-efficient 7 powerful 27 powers 5 pp 23 pp 34-52 9 practical 59 practically 10 practice 16 pratt 5 pratt-hartmann 5 precisely 29 precision 10 pre-compiled 4 predates 4 predecessor 4 pre-defined 4 predetermined 5 predicates 5 predict 11 predicted 18 prediction 63 predictions 4
  52. 52. predominantly 9 prefer 12 preferred 6 prefetched 18 preparation 8 prepared 3 prerequisites 16 present 32 presentation 12 presentation acs cs 5 presented 10 presenting 16 presents 3 press 31 presupposes 4 previous 53 previously 9 primarily 12 primary 10 primitives 7 principal 29 principally 3 principaux 4 principled 12 principles 32 prior 19 prizes 1 probabilistic 27 probabilistically 6 probabilities 4 probability 44 probably 26 problem 141 problems 133 procedural 13 procedure 18 procedures 8 proceed 9 proceedings 10 proceedings-communications 3 process 41 processes 14 processing 105 processor 148 processors 54 processor's 9 produce 106 produced 23 produces 18 producing 19 product 11 production 16 products 16 prof 3 professional 2
  53. 53. professionals 6 professor 3 profile 7 profit 5 program 66 programmable 25 programmatic 6 programme 9 programmed 5 programmer 7 programmers 5 programming 127 programs 93 progress 7 progresses 13 prohibitive 5 prohibitively 5 project 1193 project s 9 projection 12 projects 92 project's 5 prolog 11 prone 13 proof 79 proofs 14 propagation 5 proper 7 properties 73 property 24 proportional 12 proposal 9 proposals 13 propose 9 proposed 51 proposition 5 propositional 29 propositions 5 prospect 19 protect 3 protection 10 protégé 15 protein 20 protocol 106 protocols 75 prototype 12 prototyped 7 prototypes 7 provable 5 prove 1 proved 9 prover 13 provers 5 provide 82 provided 42
  54. 54. provides 45 providing 27 proving 39 provision 3 ps 5 pseudo 3 pseudo-code 8 psion 5 psychological 6 public-domain 3 public-key 12 published 9 pulling 3 pulse 5 pulses 6 pure 9 purely 9 purpose 87 purposes 21 pursue 5 pushing 3 put 5 pyle 4 pyrotechnic 10 python 10 quadratic 4 qualify 5 quality 15 quantifiers 5 quantitative 9 quantities 18 query 74 querying 5 question 17 questionnaires 18 questions 3 queue 10 queues 5 quickly 6 quite 9 r/w 5 radar 5 radiating 8 radiation 22 radio 54 radiograpphy 3 radiolo 6 radiology 24 radiosity 6 raedt 12 random 24 range 81 ranges 1 ranging 14 rapid 6
  55. 55. rapidly 7 rarely 4 rate 13 rates 12 rather 114 ratio 8 ratios 9 ray 6 ray-tracing 6 rdf 20 rdf s 3 rdf/xml 4 rdfs 8 rds 1 4 rds 2 4 rds 3 4 rds 4 4 reachin 9 read 28 readable 12 readily 13 reading 14 read-write 6 ready 9 real 66 realistic 33 reality 15 realtime 2 real-time 10 real-world 6 reason 55 reasonable 7 reasoner 26 reasoning 67 reasons 13 recall 18 receive 8 received 31 receiver 18 receivers 19 receives 6 receiving 8 recent 97 recently 74 recognise 9 recognising 4 recognition 8 reconstructing 3 recorded 5 recording 50 records 9 recovery 4 rectangular 1 rector@cs man ac uk 30 reduce 13
  56. 56. reduced 11 reduces 13 reduction 20 reductions 4 re-express 13 ref 4 refer 5 reference 84 references 88 referencing 6 refilled 9 refined 6 refinement 13 refinements 26 regard 13 regarding 5 regimented 10 region 10 regions 10 register 20 registered 3 registration 9 regression 8 regular 49 regularity 7 régulière 4 reilly 5 re-implementation 1 re-implemented 3 reinforced 4 relate 3 related 61 relation 14 relational 20 relationship 5 relationships 11 relative 7 relatively 28 relevance 15 relevant 21 relevent 3 reliable 10 relies 69 rely 14 remains 14 remanence 4 remarkable 26 remedial 9 remit 9 remote 15 remotely 10 removal 5 render 4 rendered 3 reorganised 7
  57. 57. repeated 6 replay 4 replicated 3 report 8 reported 3 reporting 6 reports 30 repositories 5 represent 33 representation 153 representation' 6 representations 29 represented 39 representing 24 reprogramming 3 reqires 7 request 3 require 30 required 89 requirement 8 requirements 27 requires 82 requiring 6 re-running 3 rescaled 6 research 135 researchers 5 researching 6 resistant 5 resolution 5 resolution-based 10 resolved 10 resonance 5 resource 16 resources 43 respect 17 respective 13 respond 3 response 21 responses 6 response-time 6 rest 5 restricted 21 restriction 4 result 38 resultant 9 resulted 13 resulting 41 results 32 resurgence 5 re-think 1 retrieval 4 retrieve 1 retrieved 1 returns 6
  58. 58. re-usable 26 re-use 4 revealing 3 reversed 1 reversible 12 rewards 24 rewrite 26 rewriting 52 rhb 1 13 rhb 10 13 rhb 11 13 rhb 12 13 rhb 13 13 rhb 2 13 rhb 3 13 rhb 4 13 rhb 5 13 rhb 6 13 rhb 7 13 rhb 8 13 rhb 9 13 rich 9 richer 4 rigor 4 rigorous 26 rigour 13 rings 9 risc 28 rise 8 risks 7 rival 12 rjh 1 3 rjh 2 3 rjh 3 3 road 1 roam 3 robert 4 robot 9 robots 59 role 8 room 10 rooms 6 root 3 ross 4 rotations 3 route 30 routers 9 routes 3 routine 1 routing 18 rows 4 royalties 13 rr-3449 4 rtl 21 rts/cts 5
  59. 59. rule 6 rulemaking 5 rules 47 run 51 run-anywhere 4 running 15 runs 19 runtime 9 run-time 5 safety 13 said 1 salary 5 same 60 sample 54 sampled 6 samples 13 sampling 55 san 3 satisfiability 12 satisfy 4 save 6 say 19 says 13 sbf 1 18 sbf 2 18 sbf 3 9 scale 19 scaling 24 scan 9 scanner 1 scanners 3 scattering 5 scenarios 11 scene 3 scenes 9 schedule 9 scheduled 9 scheduling 18 schema 9 schema 6 schemas 6 schematic 9 scheme 52 schmidhuber 12 scholarly 3 school 6 science 41 sciences 8 scientists 8 scope 23 score 8 scrambling 5 screen 3 screenreader 16 screenreaders 12
  60. 60. screenshots 3 scripting 5 search 18 searches 6 searching 24 sebastian 3 second 67 secondly 5 sections 3 secure 5 secured 9 security 45 see 176 seek 10 seeking 4 seeks 8 seemingly 5 seen 23 segments 6 seldom 5 select 13 selected 13 selecting 9 selection 28 selectivity 15 self-timed 14 semantic 59 semantically 10 semanticists 5 semantics 70 semialgebraic 5 semiautomatic 13 semi-formalised 6 semilinear 5 sending 5 sends 5 sensation 3 sense 10 sensibly 3 sensitive 6 sensor 5 sensors 17 separate 3 separately 13 sequence 48 sequenced 3 sequences 56 sequencing 18 'sequential' 9 serendipitously 9 series 13 serious 14 servers 3 service 7 services 12
  61. 61. servlet 1 servlets 1 session 5 set 129 sets 40 setting 4 seung 4 several 68 severe 9 sgf 2 sgi 3 shapes 13 share 11 shared 4 sharing 15 she/he 6 shi 3 short 24 short 1 shortest 11 short-lived 5 shortly 6 should 78 show 16 shown 10 shows 26 sidestep 4 signal 67 signalling 25 signals 34 signal-to-interefence 3 signal-to-interference 10 signature 20 signatures 5 significant 35 significantly 27 silhouette-based 3 silhouettes 6 simd 7 similar 84 similarities 52 simon 3 simple 264 simpler 6 simplest 11 simplicity 6 simplified 7 simulate 58 simulated 30 simulating 22 simulation 241 simulations 42 simulator 78 simulators 7 simulink 3
  62. 62. simultaneous 5 simultaneously 18 sin 6 since 39 sinewave 14 single 48 sites 18 situation 16 situations 19 six 37 size 3 skb 5 skb 1 5 skb 2 5 skb 3 5 skb 5 5 skill 9 skills 47 'skin 6 slides 14 slightly 19 slow 12 slows 4 small 112 smaller 10 small-scale 3 smith 10 smodels 3 smooth 3 so 139 soap 4 soc 9 so-called 12 socket 1 socrates 6 software 307 software acs cs 5 software-based 9 solaris 9 solution 55 solutions 20 solve 45 solved 18 solver 5 solvers 5 solves 13 solving 16 some 354 someone 15 sometimes 15 somewhat 11 sons 3 soon 6 sophisticated 13 sophistication 1
  63. 63. sort 25 source 37 sources 6 space 57 spacecraft 7 spaces 3 spain 3 spark 5 sparse 36 spatial 34 special 32 specialised 22 specialist 9 species 54 specifc 5 specific 45 specifically 27 specification 82 specification 6 specifications 30 specified 30 specify 31 specifying 13 spectrum 5 speculating 9 speculation 6 speculative 9 speech 21 speech non-speech 4 speed 28 speeding 6 spiking 6 spinoff 13 spite 8 sponsored 5 sports 6 spot 3 spread 10 spread-sheet 3 spreadsheets 5 springer 14 sql 22 square 6 squashing 8 squeezing 8 srivastava 4 srp 1 3 srp 2 3 srp 3 6 srp 4 6 stable 3 stage 59 stages 45 standard 68 'standard' 1
  64. 64. standardise 5 standardly 6 standards 8 star 9 stare 6 start 31 started 3 starting 22 starts 26 starvation 6 state 58 statement 6 statements 6 state-of-the-art 3 states 6 static 20 station 9 stations 3 statistic 6 statistical 21 statistics 10 steering 5 stemming 4 step 39 stephen 5 steps 42 stereo 3 stereoscopic 3 still 54 stochastic 5 stoner-wohlfarth 4 stop 6 storage 27 store 14 stored 22 straightforward 9 straight-forward 6 strand 9 strategies 17 strategy 47 stream 18 streams 4 strength 5 strengths 13 stretcher 15 stretcher-carrying 3 stretching 8 strictly 4 string 7 strings 8 strip 4 strong 15 structure 51 structures 42 stuck 3
  65. 65. student 166 student s 3 students 34 studied 10 studies 23 study 172 studying 5 stump 7 style 45 styles 5 sub 4 subject 9 subjects 9 sub-optimal 4 sub-phase 4 subsequent 4 subset 13 substantial 16 substrate 3 subsumption 12 sub-surface 5 sub-symbolic 6 subsystem 30 subtraction 3 success 24 successful 34 successfully 6 successive 26 successors 7 suchard 4 suffer 5 sufficient 19 sufficiently 10 suggested 12 suggestions 4 suggests 6 suit 29 suitability 8 suitable 81 suite 7 suited 25 sum 8 summer 3 summing 4 sums 6 sun 6 super-class 4 supercomputers 3 superior 7 superscalar 9 superset 4 supervise 9 supervised 14 supervisor 44 supervisor's 13
  66. 66. supplier 4 supply 14 supplying 3 support 125 supported 18 supporting 13 suppress 6 sure 5 surge 3 surprise 3 surprising 13 surrounded 5 survey 20 surveying 4 surveys 3 sutherland 21 swindon 10 swing 12 symbolic 4 symbols 25 symbols their 4 synchronous 48 synergy 9 synonyms 6 syntactic 4 syntax 80 synthesis 12 synthesise 8 synthesised 9 synthetic 11 system 594 systematic 10 system-on-chip 9 systems 427 system's 4 sytems 7 table 12 tableaux 8 tables 24 table's 4 tabular 8 tackle 5 tackled 13 tactile 4 tagging 6 tailor 3 tailored 6 tailoring 1 take 71 taken 38 takes 24 taking 16 talking 7 tan 4 tancs 12
  67. 67. tape 8 tapes 4 target 20 task 54 tasks 44 taught 9 taxonomy 3 tcp/ip 14 tdma 5 teach 3 teaching 62 team 3 technical 13 technically 5 technique 63 techniques 147 technolgies 3 technologies 19 technology 77 ted 3 tedious 1 teeth 6 tel 1 telecommunication 6 template 12 templates 6 ten 9 tends 7 tens 8 tenth 13 terminates 13 terminologies 6 terminology 36 terms 21 terribly 13 terse 4 test 54 tested 11 tester 8 testing 29 text 107 textbook 26 texts 25 textual 6 textures 3 theatres 3 themselves 25 thence 13 theorem 18 theorem-provers 10 theorem-proving 5 theorems 1 theoretical 30 theoretically 10 theories 2
  68. 68. théoriques 4 theory 30 therefore 44 thesis 35 thing 9 think 19 third 23 third-year 6 thirty-third 5 thorough 3 though 27 though 5 thought 13 thousand 4 thousands 12 threading 9 three 41 three- 6 through 85 throughout 10 throughput 14 thrust 5 thus 58 tight 9 tim 4 time 272 times 31 time-scales 6 timetable 5 time-varying 14 timing 42 timings 5 title 1 tke 5 tm's 3 to/from 4 today's 5 together 15 tolerate 9 too 26 tool 120 toolkit 18 toolkits 13 tools 113 tools 6 tools/components 4 tooth 3 top 24 top-down 7 topic 11 topics 13 topology 10 torsten 8 total 34 totally 9
  69. 69. touch 3 tourist 3 traced 3 tracing 6 track 8 tracking 3 tractable 4 traditional 13 traditionally 3 traffic 42 trails 8 training 54 trajectories 3 transaction 29 transactions 39 transcript 4 transfers 6 transform 13 transformation 26 transformations 6 transformed 10 transforming 4 transforms 9 transistor 9 transitions 13 translatable 5 translate 9 translated 6 translates 13 translating 11 translation 55 translations 3 translator 12 translator acs/cs 5 transmission 1 transmit 23 transmiter 5 transmitted 10 transmitter 5 transmitter/receiver 5 transmitters 30 transparent 7 transparently 3 travel 6 travelling 5 treated 3 treatment 6 tree 18 trees 32 trials 3 trickier 5 'tricks' 6 trivial 6 try 14 trying 16
  70. 70. tumour 3 tune 13 tuned 5 tuning 4 tuple 5 tuples 5 turing 9 turing's 3 turn 3 turned 5 turns 5 turtle 13 tutorial 28 two 160 two-dimensional 11 two-phase 28 two-variable 40 type 60 types 50 typical 21 typicallly 3 typically 20 ubiquitous 14 uk 8 ultimatley 5 ultra 6 uml 37 umls 12 unambiguous 6 unary 5 unauthorised 5 uncertainty 9 under 47 undergraduate 10 underlying 63 underspecification 5 understand 16 understandable 4 understanding 78 undertake 29 undertaken 13 undertaking 9 unfortunately 48 unifired 6 uniform 5 unique 9 unit 32 united 6 units 13 universe 3 universities 3 university 46 unix 3 unlicensed 10 unlikely 18
  71. 71. unmanned 3 unnecessarily 6 unnecessary 12 unrealistic 4 unreliable 3 unsatisfactory 1 unsuitable 1 unsupervised 6 until 12 up 55 update 10 upgrade 4 upgraded 9 up-link 5 upon 50 upper 10 uptake 4 upto 1 us 25 usa 13 usability 13 usage 30 use 282 use? 5 useable 5 used 325 used 7 useful 54 user 78 user-level 9 users 73 user's 14 user-specific 8 usersÿý 3 uses 58 us-eu 3 ussually 5 usual 6 usually 31 utilities 1 utmost 3 uwb 59 valid 29 validated 33 validating 13 valuable 4 value 16 values 18 van 22 variability 24 variable 12 variables 35 variants 5 variation 7 variations 11
  72. 72. varies 5 variety 36 various 109 vary 13 vast 4 vdm 13 ve 3 vector 10 vehicles 10 venables 4 verbosity 4 verification 3 verified 10 verlag 10 versa 4 version 49 versioning 6 versions 8 vertebrates 6 ves 3 vhdl 61 via 12 vice 4 video 12 view 21 viewed 5 viewing 16 views 10 virtual 33 vis-à-vis 4 visible 6 vision 11 visit 7 visits 5 visual 22 visualisation 18 visualise 7 visualising 13 visualization 12 visualizing 3 visually 22 vital 1 viz 8 vliw 27 vlsi 23 vol 28 vol 28 9 volume 23 volumes 9 volumizer 3 volunteer 3 vr 9 vrml 16 w j crowther@man ac uk 3 wn 4
  73. 73. w3c 6 wait 12 waiting 17 walker 1 walkthru 4 want 32 wanted 14 warden 14 warning 13 wasted 9 water 3 watson 9 wave 3 waveform 7 waveforms 11 way 85 way' 9 ways 40 w-cdma 5 weakness 3 wearing 6 web 125 web-based 42 webont 3 website 10 weight 6 weighted 8 weights 23 welcome 6 well-defined 11 well-developed 5 well-explored 5 well-understood 10 were 44 whatever 6 when 70 where 135 whereas 16 whereby 13 whether 42 while 65 whilst 19 whitaker 5 white 1 whole 1 wholes 4 whom 3 why 28 why? 13 wide 28 wideband 11 widely 16 widen 9 wider 3 widespread 4
  74. 74. widget 1 'widgets' 6 wil 4 wiley 3 williams 5 wim 4 window 1 windowed 1 windowing 11 windows 27 wine 4 wines 4 wireless 41 wiring 6 wish 7 wlan 5 word 21 wordnet 6 words 31 work 211 workbench 6 worked 3 worker 4 working 36 works 7 workshop 5 workspace 9 world 25 world-beating 4 worlds 6 world's 1 worse 5 wrapper 31 write 12 writing 47 written 88 www ontoknowledge org/oil/ 0 3 x^2 4 x11 4 xml 91 xsb 3 xsl 6 xslt 4 xsl-t 6 yahoo 3 year 34 years 56 year's 5 yeast 3 yield 13 yielded 31 ÿýfriendlyÿý 3 ÿýhypermediaÿý 3 ÿýhypertextÿý 3 ÿýtraditionalÿý 3
  75. 75. ÿýtransforming 5 zero 6 zhang 3 zigzag 15 zigzag3d 3
  76. 76. c++ cards centre chemistry classifying coherent/incoherent commonalities completely computers confidence consists continuous copies course cs/acs/cas datapath defining depending desktop device direction 'dissecting dog dupont education electronics encompasses entire estimating exactly expected expression factor feasibility finds flocking former franconi gain generation goal growing haptic/force hidden hop http //www cs man ac uk/~horrocks/slides/daml-pi-jul-01 pdf hypertext illustrating importance increase

×