Sciweavers

734 search results - page 104 / 147
» Narrowing the Narrowing Space
Sort
View
PICS
2003
13 years 9 months ago
Illuminant Multiplexed Imaging: Basics and Demonstration
We present a novel spectral imaging technique that allows multiple gray-scale images to be combined in a single hardcopy print. The images are individually revealed when the print...
Gaurav Sharma, Robert P. Loce, Steven J. Harringto...
AAAI
2000
13 years 9 months ago
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
Henrik Grosskreutz, Gerhard Lakemeyer
SODA
2000
ACM
114views Algorithms» more  SODA 2000»
13 years 9 months ago
Typical random 3-SAT formulae and the satisfiability threshold
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...
Olivier Dubois, Yacine Boufkhad, Jacques Mandler
NIPS
1997
13 years 9 months ago
Learning to Schedule Straight-Line Code
Program execution speed on modern computers is sensitive, by a factor of two or more, to the order in which instructions are presented to the processor. To realize potential execu...
J. Eliot B. Moss, Paul E. Utgoff, John Cavazos, Do...
COLING
1996
13 years 9 months ago
Lean Formalisms, Linguistic Theory and Applications. Grammar Development in ALEP
This paper describes results achieved in a project which addresses the issue of how the gap between uni cation-based grammars as a scienti c concept and real world applications ca...
Paul Schmidt, Axel Theofilidis, Sibylle Rieder, Th...