11345 search results - page 1708 / 2269 » Foundations of Computer Science |
158
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...
168
click to vote
CSEE
2003
Springer
15 years 11 months ago
2003
Springer
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
195
click to vote
DIS
2003
Springer
15 years 11 months ago
2003
Springer
We propose a method of using clustering techniques to partition a set of orders. We define the term order as a sequence of objects that are sorted according to some property, such...
127
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
161
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...