Sciweavers

1798 search results - page 269 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
120
Voted
ICCAD
1994
IEEE
114views Hardware» more  ICCAD 1994»
15 years 4 months ago
Performance-driven synthesis of asynchronous controllers
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas ...
117
Voted
DAGM
2006
Springer
15 years 4 months ago
Visual Hand Posture Recognition in Monocular Image Sequences
We present a model-based method for hand posture recognition in monocular image sequences that measures joint angles, viewing angle, and position in space. Visual markers in form o...
Thorsten Dick, Jörg Zieren, Karl-Friedrich Kr...
CASES
2005
ACM
15 years 2 months ago
Automating custom-precision function evaluation for embedded processors
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne ...
91
Voted
WSC
2004
15 years 2 months ago
Stream Option Manager
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
William P. Niedringhaus, Michael J. White, Patrick...
AAAI
2000
15 years 2 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl