2845 search results - page 301 / 569 » Constraints over Ontologies |
97
Voted
CONSTRAINTS
2006
15 years 24 days ago
2006
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...
101
click to vote
TAP
2008
Springer
15 years 20 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
112
click to vote
ESWA
2007
15 years 16 days ago
2007
The goal of assembly planning consists in generating feasible sequences to assemble a product and selecting an efficient assembly sequence from which related constraint factors su...
142
click to vote
SCP
1998
15 years 12 days ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
95
Voted
SIAMCO
2002
15 years 12 days ago
2002
There is a large literature on the rate of convergence problem for general unconstrained stochastic approximations. Typically, one centers the iterate n about the limit point then...