999 search results - page 124 / 200 » Constraints in Non-Boolean Contexts |
146
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
The wavelet decomposition is a proven tool for constructing concise synopses of massive data sets and rapid changing data streams, which can be used to obtain fast approximate, wit...
178
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
148
click to vote
AAAI
2008
15 years 8 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
178
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...
163
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...