Sciweavers

120 search results - page 16 / 24
» Covered Clause Elimination
Sort
View
AAAI
1990
13 years 11 months ago
Becoming Increasingly Reactive
We describe a robot control architecture which combines a stimulus-response subsystem for rapid reaction, with a search-based planner for handling unanticipated situations. The ro...
Tom M. Mitchell
JSS
2010
132views more  JSS 2010»
13 years 4 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
ICASSP
2011
IEEE
13 years 1 months ago
An interference-free representation of instantaneous frequency of periodic signals and its application to F0 extraction
An interference-free representation of the instantaneous frequency of constituent harmonic components of periodic signals is introduced. The power weighted average instantaneous f...
Hideki Kawahara, Toshio Irino, Masanori Morise
ICMCS
2010
IEEE
178views Multimedia» more  ICMCS 2010»
13 years 11 months ago
Channel smurfing: Minimising channel switching delay in IPTV distribution networks
One of the major concerns of IPTV network deployment is channel switching (or zapping) delay. This delay can add up to two seconds or more, and its main culprits are synchronisati...
Fernando M. V. Ramos, Jon Crowcroft, Richard J. Gi...
PODS
2003
ACM
132views Database» more  PODS 2003»
14 years 10 months ago
The view selection problem for XML content based routing
We consider the view selection problem for XML content based routing: given a network, in which a stream of XML documents is routed and the routing decisions are taken based on re...
Ashish Kumar Gupta, Dan Suciu, Alon Y. Halevy