10907 search results - page 236 / 2182 » Constraint Based Strategies |
CAD
1998
Springer
14 years 10 months ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
CW
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes a choice strategy to ease user’s burdens for an interactive object recognition system when the system obtains multiple object candidates as a recognition re...
KI
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In recent years several strategies for inferring gene regulatory networks from observed time series data of gene expression have been suggested based on Evolutionary Algo...
JAR
2008
14 years 11 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...