3750 search results - page 389 / 750 » Timed Automata Patterns |
134
click to vote
ICAPR
2009
Springer
15 years 11 months ago
2009
Springer
—This paper proposes a smart video surveillance system with real-time moving object (primarily human) detection and identification for solving the problem of excessive power con...
109
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...
125
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We propose a character size optimization technique to enhance the throughput of maskless lithography as well as photomask manufacture. The number of electron beam shots to draw...
117
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Copy-paste programming is dangerous as it may lead to hidden dependencies between different parts of the system. Modifying clones is not always straight forward, because we might ...