Sciweavers

2015 search results - page 131 / 403
» Hidden Software Capabilities
Sort
View
SIGSOFT
2010
ACM
13 years 7 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
CORR
2010
Springer
65views Education» more  CORR 2010»
13 years 7 months ago
Are SNOMED CT Browsers Ready for Institutions? Introducing MySNOM
SNOMED Clinical Terms (SNOMED CT) is one of the most widespread ontologies in the life sciences, with more than 300,000 concepts and relationships, but is distributed with no assoc...
Pablo López-García
ADBIS
2008
Springer
128views Database» more  ADBIS 2008»
14 years 4 months ago
Pylonix: A Database Module for Collaborative Document Management
Abstract. In today’s world, document management plays an increasingly important role. However, there is currently no solution to manage complex documents in an integrated manner....
Christian Tilgner, Dietrich Christopeit, Klaus R. ...
HICSS
2003
IEEE
103views Biometrics» more  HICSS 2003»
14 years 2 months ago
Theory and Evaluation of Human Robot Interactions
Human-robot interaction (HRI) for mobile robots is still in its infancy. Most user interactions with robots have been limited to teleoperation capabilities where the most common i...
Jean Scholtz
AGENTS
1997
Springer
14 years 1 months ago
SAIRE - A Scalable Agent-Based Information Retrieval Engine
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
Jidé B. Odubiyi, David J. Kocur, Stuart M. ...