10718 search results - page 713 / 2144 » On the Circuit Implementation Problem |
205
Voted
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
This paper shows that geographic information system can successfully solve TSP (travelling salesman problem). It has been done using a module of the designed and implemented by aut...
174
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
171
Voted
FQAS
2006
Springer
15 years 11 months ago
2006
Springer
Preference-based search is the problem of finding an item that matches best with a user's preferences. User studies show that example-based tools for preference-based search c...
230
click to vote
APAQS
2001
IEEE
15 years 11 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
152
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...