5393 search results - page 687 / 1079 » Spatial Computing with Labels |
169
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
191
Voted
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...
217
Voted
CONEXT
2006
ACM
15 years 11 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
200
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
236
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Recently, classifier grids have shown to be a considerable alternative for object detection from static cameras. However, one drawback of such approaches is drifting if a...