21094 search results - page 98 / 4219 » An experiment using DLV-K |
106
click to vote
CCE
2008
15 years 6 months ago
2008
In the present attempt a set of experiments and a 3D simulation using a commercially available computational fluid dynamics package (FLUENT) were adopted to investigate complex beh...
136
click to vote
CSUR
1999
15 years 6 months ago
1999
The Informedia Experience-on-Demand system uses speech, image, and natural language processing combined with GPS information to capture, integrate, and communicate personal multim...
183
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
141
click to vote
IMCSIT
2010
15 years 3 months ago
2010
Abstract--A Web-based system for human evaluation of machine translation is presented in this paper. The system is based on comprehension tests similar to the ones used in Polish m...
209
click to vote
HRI
2006
ACM
16 years 7 days ago
2006
ACM
The design and development of social robots that interact and assist people in daily life requires moving into unconstrained daily-life environments. This presents unexplored meth...