26 search results - page 2 / 6 » cas 2006 |
IIE
2006
13 years 7 months ago
2006
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
Conditional Access System (CAS) performs entitlement management to make only legitimate subscribers watch pay-services. Generally, CAS uses passive entitlement management to fulfil...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we present a coordinated video surveillance system that can minimize the spatial limitation and can precisely extract the 3D position of objects. To do this, our sy...
SIGIR
2006
ACM
14 years 1 months ago
2006
ACM
Structural hints in XML-retrieval queries can be used to specify both the granularity of the search result (the target element) and where in a document to search (support elements...