Sciweavers

17449 search results - page 612 / 3490
» Availability
Sort
View
SEMWEB
2010
Springer
15 years 5 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
214
Voted
SEMWEB
2010
Springer
15 years 5 months ago
Towards Semantic Annotation Supported by Dependency Linguistics and ILP
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
Jan Dedek
SIGDIAL
2010
15 years 5 months ago
Collaborating on Utterances with a Spoken Dialogue System Using an ISU-based Approach to Incremental Dialogue Management
When dialogue systems, through the use of incremental processing, are not bounded anymore by strict, nonoverlapping turn-taking, a whole range of additional interactional devices ...
Okko Buß, Timo Baumann, David Schlangen
177
Voted
SIGSOFT
2010
ACM
15 years 5 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
SODA
2010
ACM
147views Algorithms» more  SODA 2010»
15 years 5 months ago
Energy Efficient Scheduling via Partial Shutdown
Motivated by issues of saving energy in data centers we define a collection of new problems referred to as "machine activation" problems. The central framework we introd...
Samir Khuller, Jian Li, Barna Saha