4488 search results - page 637 / 898 » Properties of NP-Complete Sets |
193
click to vote
SDMW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Database provenance chronicles the history of updates and modifications to data, and has received much attention due to its central role in scientific data management. ...
176
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
149
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— 1In this paper, we will present a placement method for analog circuits. We consider both common centroid and 1-D symmetry constraints, which are the two most common types of pl...
188
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
We address the connectivity of large-scale ad hoc cognitive radio networks, where secondary users exploit channels temporarily and locally unused by primary users and the existenc...
172
click to vote
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...