4586 search results - page 311 / 918 » Computing stable models in parallel |
131
Voted
FTDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application ...
160
Voted
REX
1991
15 years 8 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
123
Voted
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
144
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
150
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
We propose a graph-based semi-supervised symmetric matching framework that performs dense matching between two uncalibrated wide-baseline images by exploiting the results of sparse...