2364 search results - page 170 / 473 » An Engine for Computing Well-Founded Models |
116
Voted
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
182
Voted
AROBOTS
2011
14 years 11 months ago
2011
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
176
Voted
CGF
2010
15 years 4 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
155
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
136
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
An understanding of the topological structure of the Internet is needed for quite a number of networking tasks, e.g., making decisions about peering relationships, choice of upstr...