7890 search results - page 243 / 1578 » The MathSAT 3 System |
144
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Most existing performance evaluation methods concentrate on defining separate metrics over a wide range of conditions and generating standard benchmarking video sequences for exam...
190
click to vote
ICIA
2007
15 years 8 months ago
2007
We address the problem of users creating visualizations to debug and understand multi-agent systems. The key challenges are that (1) needs arise dynamically, i.e., it is difficult...
171
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
154
click to vote
PDPTA
2003
15 years 7 months ago
2003
As systems such as peer-to-peer, Web Services, and Grid systems proliferate the Internet there have also been a significant increase in the number of devices that are networked to...
158
click to vote
AAAI
1996
15 years 7 months ago
1996
Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...