14783 search results - page 442 / 2957 » Quantum Information Processing |
167
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
162
click to vote
ICMCS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a framework for data modeling ntic abstraction of image/video data. The framework is based on spatio-temporalinformation associated with salient objects in an ...
165
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...
168
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Sensor networks can be viewed as large distributed databases, and SQL-like high-level declarative languages can be used for data and information retrieval. Energy constraints make ...
149
click to vote
ECIS
2004
15 years 7 months ago
2004
Being hailed as possessing the ability to "drive effective business reengineering and management of core and support processes", it is not surprising that Enterprise Res...