549 search results - page 76 / 110 » Verification condition generation for conditional informatio... |
103
click to vote
QUESTA
2006
15 years 14 days ago
2006
In this paper we consider a Poisson cluster process N as a generating process for the arrivals of packets to a server. This process generalizes in a more realistic way the infinite...
92
Voted
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In performing various kinds of tasks, body representation is one of the most fundamental issues for physical agents (humans, primates, and robots). Especially during to...
MM
2005
ACM
15 years 6 months ago
2005
ACM
We propose a multi-sensor affect recognition system and evaluate it on the challenging task of classifying interest (or disinterest) in children trying to solve an educational pu...
96
Voted
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
We describe a task-based evaluation to determine whether multi-document summaries measurably improve user performance when using online news browsing systems for directed research...
116
Voted
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we introduce the distributed spatio-temporal similarity search problem: given a query trajectory Q, we want to find the trajectories that follow a motion similar to ...