7918 search results - page 471 / 1584 » Model Composition Directives |
205
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
180
click to vote
FAABS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
222
click to vote
ECUMN
2004
Springer
15 years 10 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
174
click to vote
CAV
2005
Springer
16 years 13 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
186
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....