10414 search results - page 500 / 2083 » An efficient algorithm for Co-segmentation |
197
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Modern object-relational database systems are capable of managing multimedia data, e.g. image, video and audio. In this paper we study how such universal database systems can be u...
164
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
190
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
187
click to vote
AICT
2008
IEEE
15 years 8 months ago
2008
IEEE
Currently many service providers offer their services using a private and proprietary hard- and software infrastructure. These infrastructures often share many similarities. Hence...
159
click to vote
APWEB
2008
Springer
15 years 8 months ago
2008
Springer
Wireless sensor network (WSN) containing thousands of tiny and low-power nodes can be used to monitor environment. An energy-efficient and reliable wireless communication architect...