2552 search results - page 456 / 511 » Development of an evaluation model for Question Answering Sy... |
170
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
180
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
165
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
171
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
162
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...