Sciweavers

7825 search results - page 324 / 1565
» Physics
Sort
View
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
16 years 7 days ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
AUSAI
2005
Springer
16 years 6 days ago
The Virtual Room Inhabitant - Intuitive Interaction with Intelligent Environments
In this paper we describe a new way to improve the usability of complex hardware setups in Intelligent Environments. By introducing a virtual character, we facilitate intuitive int...
Michael Kruppa, Lübomira Spassova, Michael Sc...
ICIAR
2005
Springer
16 years 6 days ago
A Generic Shape Matching with Anchoring of Knowledge Primitives of Object Ontology
We have developed a generic ontology of objects, and a knowledge base of everyday physical objects. Objects are represented as assemblies of functional features and their spatial r...
Dongil Han, Bum-Jae You, Yong Se Kim, Il Hong Suh
DAC
2004
ACM
16 years 5 days ago
A timing-driven module-based chip design flow
A Module-Rased design flow for digital ICs with hard and sofl modules is presented. Versions of the sofl modules are implemented with different areddelay characteristics. The vers...
Fan Mo, Robert K. Brayton
ESAS
2004
Springer
16 years 4 days ago
Exploring Message Authentication in Sensor Networks
Abstract. This paper explores the design space for message authentication in sensor networks. Several types of authentication are put into relation: end-to-end, hop-to-hop, and phy...
Harald Vogt