Sciweavers

8094 search results - page 1483 / 1619
» Improvements in Formula Generalization
Sort
View
86
Voted
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 6 months ago
Using Enterprise Reference Models for Automated ISO 9000 Compliance Evaluation
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
Henry M. Kim, Mark S. Fox
104
Voted
ICTAI
2002
IEEE
15 years 6 months ago
DSatz: A Directional SAT Solver for Planning
(Appears as a regular paper in the proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, Washington D.C, Nov. 2002, p...
Mark Iwen, Amol Dattatraya Mali
83
Voted
INFOCOM
2002
IEEE
15 years 6 months ago
Increase-Decrease Congestion Control for Real-time Streaming: Scalability
– Typically, NACK-based congestion control is dismissed as being not viable due to the common notion that “open-loop” congestion control is simply “difficult.” Emerging r...
Dmitri Loguinov, Hayder Radha
109
Voted
ISMAR
2002
IEEE
15 years 6 months ago
Practical Solutions for Calibration of Optical See-Through Devices
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
Yakup Genc, Mihran Tuceryan, Nassir Navab
96
Voted
MICRO
2002
IEEE
97views Hardware» more  MICRO 2002»
15 years 6 months ago
Three extensions to register integration
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...
Vlad Petric, Anne Bracy, Amir Roth
« Prev « First page 1483 / 1619 Last » Next »