3212 search results - page 333 / 643 » Definition and modeling of process using object orientation |
172
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
158
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
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...
188
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
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...
181
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
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...
185
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
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...