6431 search results - page 848 / 1287 » Model Building by Resolution |
162
click to vote
IROS
2009
IEEE
16 years 24 days 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...
142
Voted
TPHOL
2009
IEEE
16 years 24 days 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 ...
155
Voted
AIMS
2009
Springer
16 years 23 days 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...
157
click to vote
CPM
2009
Springer
16 years 22 days 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...
163
click to vote
CSCWD
2009
Springer
16 years 22 days 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, ...