5863 search results - page 943 / 1173 » On Model-Checking of P Systems |
188
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present the results of a user study that was conducted in combination with a submission to TRECVID 2003. Search behavior of students querying an interactive video-...
179
click to vote
EGH
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
236
click to vote
ISMS
2004
Springer
15 years 12 months ago
2004
Springer
Advancements in robotics have led to significant improvements in robot-assisted minimally invasive surgery. The use of these robotic systems has improved surgeon dexterity, reduced...
200
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
153
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
One of the main objectives of a Machine Learning – ML – system is to induce a classifier that minimizes classification errors. Two relevant topics in ML are the understanding...