1005 search results - page 36 / 201 » Temporal Structures |
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
This paper introduces a very compact yet discriminative video description, which allows example-based search in a large number of frames corresponding to thousands of hours of vide...
WWW
2010
ACM
14 years 10 months ago
2010
ACM
Twitter offers an explicit mechanism to facilitate information diffusion and has emerged as a new medium for communication. Many approaches to find influentials have been proposed...
SGAI
2007
Springer
15 years 4 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
EUROGP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...