16504 search results - page 13 / 3301 » New Problems, New Solutions |
EUSFLAT
2001
15 years 1 months ago
2001
The multiobjective problem with fuzzy goals (which may also represent fuzzy right hand sides of the constraints) is formulated as a fuzzy goal programming problem. A new approach ...
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a new collision detection algorithm designed for interactive manipulation in virtual environments. Making some assumptions on objects motion, the collision ti...
121
Voted
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
105
click to vote
CASES
2001
ACM
15 years 4 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...