Sciweavers

1200 search results - page 191 / 240
» Conformance Testing of Objects in Distributed Processing Sys...
Sort
View
LREC
2010
196views Education» more  LREC 2010»
13 years 10 months ago
HIFI-AV: An Audio-visual Corpus for Spoken Language Human-Machine Dialogue Research in Spanish
In this paper, we describe a new multi-purpose audio-visual database on the context of speech interfaces for controlling household electronic devices. The database comprises speec...
Fernando F. Fernández-Martínez, Juan...
JUCS
2006
146views more  JUCS 2006»
13 years 8 months ago
Health Monitoring and Assistance to Support Aging in Place
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
Diane J. Cook
HT
2009
ACM
13 years 6 months ago
Retrieving broken web links using an approach based on contextual information
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
Juan Martinez-Romo, Lourdes Araujo
CCIA
2009
Springer
13 years 10 months ago
mWater: a Sandbox for Agreement Technologies
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...
Antonio Garrido, Adriana Giret, Pablo Noriega
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 26 days ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi