6274 search results - page 791 / 1255 » Proofs, Programs, Processes |
182
Voted
AVSS
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
169
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
186
Voted
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
The existing techniques for shot partitioning either process each shot boundary independently or proceed sequentially. The sequential process assumes the last shot boundary is cor...
155
Voted
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
191
Voted
SC
2005
ACM
16 years 13 days ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...