1494 search results - page 113 / 299 » Kernels for Global Constraints |
112
click to vote
MOBIHOC
2000
ACM
15 years 5 months ago
2000
ACM
— We consider challenges associated with application domains in which a large number of distributed, networked sensors must perform a sensing task repeatedly over time. We addres...
104
Voted
ICLP
1993
Springer
15 years 5 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
150
Voted
RECOMB
2004
Springer
16 years 1 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
128
Voted
CP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
117
click to vote
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized t...