Sciweavers

3212 search results - page 333 / 643
» Definition and modeling of process using object orientation
Sort
View
TAP
2009
Springer
178views Hardware» more  TAP 2009»
16 years 1 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
DAGM
2003
Springer
15 years 12 months ago
Color-Based Object Tracking in Multi-camera Environments
This paper presents a multi-view tracker, meant to operate in smart rooms that are equipped with multiple cameras. The cameras are assumed to be calibrated3 . In particular, we dem...
Katja Nummiaro, Esther Koller-Meier, Tomás ...
VLSID
2004
IEEE
147views VLSI» more  VLSID 2004»
16 years 7 months ago
Computing Silent Gate Models for Noise Analysis from Slew and Delay Tables
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
Shabbir H. Batterywala, Narendra V. Shenoy
VLDB
2004
ACM
151views Database» more  VLDB 2004»
15 years 12 months ago
Query Rewrite for XML in Oracle XML DB
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
Muralidhar Krishnaprasad, Zhen Hua Liu, Anand Mani...
ICCV
2007
IEEE
16 years 8 months ago
Rotational Motion Deblurring of a Rigid Object from a Single Image
Most previous motion deblurring methods restore the degraded image assuming a shift-invariant linear blur filter. These methods are not applicable if the blur is caused by spatial...
Qi Shan, Wei Xiong, Jiaya Jia