Sciweavers

3972 search results - page 293 / 795
» Palpability Support Demonstrated
Sort
View
CISIS
2009
IEEE
14 years 4 months ago
Creating Visualizations through Ontology Mapping
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
Sean M. Falconer, R. Ian Bull, Lars Grammel, Marga...
PERCOM
2009
ACM
14 years 4 months ago
Using Situation Lattices in Sensor Analysis
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
SAC
2009
ACM
14 years 4 months ago
Efficient mobile reasoning for pervasive discovery
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...
Luke Steller, Shonali Krishnaswamy
FPGA
2009
ACM
148views FPGA» more  FPGA 2009»
14 years 4 months ago
SmartOpt: an industrial strength framework for logic synthesis
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
Stephen Jang, Dennis Wu, Mark Jarvin, Billy Chan, ...
ICSE
2009
IEEE-ACM
14 years 4 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...