2500 search results - page 337 / 500 » Specifying Behavior in C |
177
click to vote
DEBS
2011
ACM
14 years 7 months ago
2011
ACM
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coord...
140
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
152
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
The Matching Pursuits (MP) coding method has been employed successfully in video coding. In it, the motion compensated frame difference is decomposed on an overcomplete dictionary...
232
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Aggregation is among the core functionalities of OLAP systems. Frequently, such queries are issued in decision support systems to identify interesting groups of data. When more tha...
146
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...