1547 search results - page 114 / 310 » Solving Knapsack Problems in a Sticker Based Model |
135
Voted
RC
2002
15 years 3 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
135
Voted
AICOM
2004
15 years 3 months ago
2004
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...
107
click to vote
ELPUB
1997
ACM
15 years 7 months ago
1997
ACM
: The limitations of existing proposed and operational publishing models intended to replace the academic journal are briefly reviewed. Three ‘insights’ are described, the firs...
155
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- This paper considers a recently proposed framework for experiment design in system identification for control. We will consider model based control design methods, such ...
127
click to vote
ESAW
2004
Springer
15 years 8 months ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...