Sciweavers

2736 search results - page 68 / 548
» Implementable allocation rules
Sort
View
CSI
2004
353views more  CSI 2004»
15 years 12 days ago
Design and implementation of a mobile database for Java phones
Due to the popularity of electronic commerce and the maturity of wireless technology, mobile users can access the Internet anytime anywhere without having to physically hook up an...
Eric Jui-Lin Lu, Yung-Yuan Cheng
104
Voted
TPHOL
1999
IEEE
15 years 4 months ago
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
FLAIRS
1998
15 years 1 months ago
Implementing Parser Metarules that Handle Speech Repairs and Other Disruptions
Mixed-initiative dialogs often contain interruptions in phrase structure such as repairs and backchannel responses. Phrase structure as traditionally de ned does not accommodate s...
Mark G. Core, Lenhart K. Schubert
87
Voted
CORR
2008
Springer
134views Education» more  CORR 2008»
15 years 20 days ago
Implementation of perception and action at nanoscale
Real time combination of nanosensors and nanoactuators with virtual reality environment and multisensorial interfaces enable us to efficiently act and perceive at nanoscale. Advan...
Sylvain Marlière, Jean-Loup Florens, Floren...
DIAGRAMS
2004
Springer
15 years 6 months ago
A Prototype Inference Engine for Rule-Based Geometric Reasoning
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
Joseph J. Pfeiffer Jr.