Sciweavers

5775 search results - page 840 / 1155
» A Rationale-based Analysis Tool
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
16 years 4 days ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICDAR
2003
IEEE
16 years 4 days ago
Towards Automatic Video-based Whiteboard Reading
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
Markus Wienecke, Gernot A. Fink, Gerhard Sagerer
ICMENS
2003
IEEE
105views Hardware» more  ICMENS 2003»
16 years 4 days ago
Ultrasonic/Sonic Sampler and Sensor Platform for In-Situ Planetary Exploration
The search for existing or past life in the Universe is one of the most important objectives of NASA’s mission. In support of this objective, an ultrasonic/sonic mechanism is cu...
Yoseph Bar-Cohen, Stewart Sherrit, Xiaoqi Bao, Zen...
ICAIL
2003
ACM
16 years 3 days ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
JCDL
2003
ACM
105views Education» more  JCDL 2003»
16 years 3 days ago
Convergence of Knowledge Management and E-Learning: The GetSmart Experience
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
Byron Marshall, Yiwen Zhang, Hsinchun Chen, Ann M....