2774 search results - page 407 / 555 » Exploiting Deep Structure |
119
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
139
Voted
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
163
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
156
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...
145
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
We consider the problem of querying data sources that have limited capabilities and can thus only be accessed by complying with certain binding patterns for their attributes. This ...