Science Reference
 
 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z
MAKE???A Program for Maintaining Computer Programs
Multimedia for Authoring Motion Pictures
Multiscale wedgelet image analysis: fast decompositions and modeling
Miketalk: A talking facial display based on morphing visemes
Mandarin-English information (MEI): Investigating translingual speech retrieval
Mining knowledge in geographical data
Mediating connectors: A non-bypassable process wrapping technology
Multi-document summarization by sentence extraction
Maps: A method for identifying and predicting aberrant behaviour in time series
Measuring traffic on the wireless medium: Experience and pitfalls
Monitoring Progress with Dynamic Programming Envelopes
Mechanizing a theory of program composition for UNITY
Motion based segmentation
Minimally non-linear integer wavelets for image coding
Measuring End-to-End Bulk Transfer Capacity
Multiple leaky buckets for increased statistical multiplexing of ATM video
Mixin modules in a call-by-value setting
Meinongian Semantics for Propositional Semantic Networks
MJ: An imperative core calculus for Java and Java with effects
Moorsel. Specifying and monitoring guarantees in commercial grids through SLA
Market-Based Resource Allocation for Grid Computing: A Model and Simulation
Memory management for dataflow programming of multirate signal processing algorithms
Music summarization using key phrases
Mixed-initiative development of language processing systems
Macroplanning with a cognitive architecture for the adaptive explanation of proofs
Minimizing Manual Annotation Cost in Supervised Training from Corpora
Multicast over Wireless Mobile Ad Hoc Networks: Present and Future Directions
Modeling Facial Communication Between an Animator and a Synthetic Actor
Myriad: Design and Implementation of a Federated Database System
Multi-purpose Development and Operation Environments for Natural Language Applications
Modeling Cooperation in Mobile Ad Hoc Networks: a Formal Description of Selfishness
Measuring functional cohesion
Multi-agent negotiation using combinatorial auctions with precedence constraints
Monad-independent dynamic logic in HasCASL
Mechanical verification of clock synchronization algorithms
Meta-rule-guided mining of association rules in relational databases
Multilevel Atomicity - A new Correctness Criterion for Database Concurrency Control
Modularity of termination using dependency pairs
Modeling requests among cooperating intrusion detection systems
Mocha: A Quality Adaptive Multimedia Proxy Cache for Internet Streaming
Memory-side prefetching for linked data structures