Sciweavers

935 search results - page 64 / 187
» A Framework for Obfuscated Interpretation
Sort
View
LICS
2007
IEEE
16 years 19 days ago
A Dependent Set Theory
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
Wojciech Moczydlowski
SAMOS
2005
Springer
15 years 12 months ago
A Case for Visualization-Integrated System-Level Design Space Exploration
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
Andy D. Pimentel
CIVR
2003
Springer
156views Image Analysis» more  CIVR 2003»
15 years 11 months ago
Towards a Comprehensive Survey of the Semantic Gap in Visual Image Retrieval
This paper adopts the premise that the ‘semantic gap' is an incompletely surveyed feature in the landscape of visual image retrieval, and proposes a framework within which t...
Peter G. B. Enser, Christine J. Sandom
HRI
2007
ACM
15 years 10 months ago
Interactive robot task training through dialog and demonstration
Effective human/robot interfaces which mimic how humans interact with one another could ultimately lead to robots being accepted in a wider domain of applications. We present a fr...
Paul E. Rybski, Kevin Yoon, Jeremy Stolarz, Manuel...
BIBE
2004
IEEE
107views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Enhanced pClustering and Its Applications to Gene Expression Data
Clustering has been one of the most popular methods to discover useful biological insights from DNA microarray. An interesting paradigm is simultaneous clustering of both genes an...
Sungroh Yoon, Christine Nardini, Luca Benini, Giov...