2593 search results - page 65 / 519 » constraints 2007 |
146
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
153
click to vote
DAIS
2003
15 years 6 months ago
2003
The ability to locate useful on-line Web Services is becoming critical for today’s service-oriented business applications. A number of efforts have been put to enhance the servic...
142
click to vote
OPODIS
2004
15 years 6 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
106
click to vote
IJCAI
2003
15 years 6 months ago
2003
The structural rigidity property, a generalization of Laman’s theorem which characterizes rigid bar frameworks in 2D, is generally considered a good approximation of rigidity in...
124
click to vote
COGSCI
2007
15 years 4 months ago
2007
We investigate a possible universal constraint on spatial meaning. It has been proposed that people attend preferentially to the endpoints of spatial motion events, and that langu...