1329 search results - page 190 / 266 » Constraint-based model synthesis |
171
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
159
click to vote
QOFIS
2000
Springer
15 years 9 months ago
2000
Springer
In order to provide various services with different quality requirements, the current Internet is expected to turn into a QoS based Internet under the Differentiated Service (DiffS...
135
click to vote
AAAI
2006
15 years 7 months ago
2006
In multiple criteria Markov Decision Processes (MDP) where multiple costs are incurred at every decision point, current methods solve them by minimising the expected primary cost ...
180
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
269
click to vote
EPS
1998
Springer
15 years 10 months ago
1998
Springer
We investigate the following question. Do populations of evolving agents adapt only to their recent environment or do general adaptive features appear over time? We find statistica...