6431 search results - page 848 / 1287 » Model Building by Resolution |
184
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Fluid bipedal locomotion remains a significant challenge for humanoid robotics. Recent bio-inspired approaches have made significant progress by using small numbers of tightl...
155
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
174
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Traditional approaches to multipath routing ignore the economic incentives necessary in aligning both networks and users towards a common goal. While theory suggests cong...
168
click to vote
CPM
2009
Springer
16 years 1 months ago
2009
Springer
Evolution is usually described as a phylogenetic tree, but due to some exchange of genetic material, it can be represented as a phylogenetic network which has an underlying tree st...
185
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...