4460 search results - page 642 / 892 » Formal methods for interactive systems |
185
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
169
click to vote
JSYML
2000
15 years 6 months ago
2000
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
158
click to vote
PVLDB
2008
15 years 6 months ago
2008
Many approaches have been proposed to find correlations in binary data. Usually, these methods focus on pair-wise correlations. In biology applications, it is important to find co...
223
click to vote
CGF
2010
15 years 4 months ago
2010
Procedural noise functions are widely used in Computer Graphics, from off-line rendering in movie production to interactive video games. The ability to add complex and intricate d...
176
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Spatial classification is the task of learning models to predict class labels based on the features of entities as well as the spatial relationships to other entities and their fe...