Sciweavers

376 search results - page 49 / 76
» Automatic Generation of Service Availability Models
Sort
View
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
14 years 4 months ago
Gate Sizing and V{t} Assignment for Active-Mode Leakage Power Reduction
Leakage current is a key factor in IC power consumption even in the active operating mode. We investigate the simultaneous optimization of gate size and threshold voltage to reduc...
Feng Gao, John P. Hayes
DLOG
2009
13 years 5 months ago
Explaining by Example: Model Exploration for Ontology Comprehension
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
Johannes Bauer, Ulrike Sattler, Bijan Parsia
KI
2004
Springer
14 years 1 months ago
SmartWeb: Mobile Applications of the Semantic Web
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
Wolfgang Wahlster
PERCOM
2010
ACM
13 years 6 months ago
DogSim: A state chart simulator for Domotic Environments
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
Dario Bonino, Fulvio Corno
ECCV
2002
Springer
14 years 9 months ago
New Techniques for Automated Architectural Reconstruction from Photographs
Abstract. We investigate a strategy for reconstructing of buildings from multiple (uncalibrated) images. In a similar manner to the Facade approach we first generate a coarse piece...
Tomás Werner, Andrew Zisserman