10414 search results - page 1655 / 2083 » An efficient algorithm for Co-segmentation |
158
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
159
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
119
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
142
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
164
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...