7099 search results - page 228 / 1420 » Context for models of concurrency |
183
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...
188
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In multi-target tracking, the maintaining of the correct identity of targets is challenging. In the presented tracking method, accurate target identification is achieved by incor...
207
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
229
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...
190
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...