Sciweavers

3108 search results - page 418 / 622
» The Elements of Computer Credibility
Sort
View
ISBI
2007
IEEE
16 years 24 days ago
Fast Image Reconstruction Methods for Fully 3d Multispectral Optical Bioluminescence Tomography
We investigate fast iterative image reconstruction methods for fully 3D multispectral optical bioluminescence tomography where inhomogeneous optical properties are modeled using t...
Sangtae Ahn, Abhijit J. Chaudhari, Felix Darvas, C...
LICS
2007
IEEE
16 years 24 days ago
Alternation-free modal mu-calculus for data trees
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
Marcin Jurdzinski, Ranko Lazic
SOCA
2007
IEEE
16 years 23 days ago
Structure Matching for Enhancing UDDI Queries Results
To enhance UDDI query capability, typically based on taxonomic classification, semantic matching is assuming a key role. Even if we recognize the great importance of semantics in ...
Giancarlo Tretola, Eugenio Zimeo
TABLETOP
2007
IEEE
16 years 23 days ago
The TViews Table in the Home
The past several years of computer interaction research have shown an increasing interest in tabletops for shared user interactions through touch or tangible objects. Digital medi...
Ali Mazalek, Matthew Reynolds, Glorianna Davenport
TABLETOP
2007
IEEE
16 years 23 days ago
Examination of Text-Entry Methods for Tabletop Displays
Although text entry is a vital part of day-to-day computing familiar to most people, not much research has been done to enable text entry on large interactive tables. One might as...
Uta Hinrichs, Mark S. Hancock, M. Sheelagh T. Carp...