Sciweavers

4480 search results - page 76 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
126
Voted
ACSC
2005
IEEE
15 years 9 months ago
Real-time Monocular Tracking of View Frustum for Large Screen Human-Computer Interaction
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
Kelvin Cheng, Masahiro Takatsuka
CHI
1995
ACM
15 years 7 months ago
Interactive Sketching for the Early Stages of User Interface Design
Current interactive user interface construction tools are often more of a hindrance than a benefit during the early stages of user interface design. These tools take too much time...
James A. Landay, Brad A. Myers
108
Voted
ECIR
2003
Springer
15 years 4 months ago
Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains
This paper explores the use of texts that are related to an image collection, also known as collateral texts, for building thesauri in specialist domains to aid in image retrieval....
Khurshid Ahmad, Mariam Tariq, Bogdan Vrusias, Chri...
139
Voted
AGTIVE
2003
Springer
15 years 8 months ago
On Graphs in Conceptual Engineering Design
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
Janusz Szuba, Agnieszka Ozimek, Andy Schürr
154
Voted
CODES
2008
IEEE
15 years 5 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner