5015 search results - page 332 / 1003 » Model Checking a Path |
173
click to vote
COMBINATORICS
2004
15 years 6 months ago
2004
Haglund and Loehr previously conjectured two equivalent combinatorial formulas for the Hilbert series of the Garsia-Haiman diagonal harmonics modules. These formulas involve weigh...
191
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...
173
click to vote
CN
2007
15 years 6 months ago
2007
Most of the research proposals on Quality-of-Service (QoS) mechanisms have focused on providing guarantees in a single domain. Supporting QoS guarantees in the interdomain setting...
175
click to vote
IMC
2005
ACM
16 years 4 days ago
2005
ACM
Recent progress in active measurement techniques has made it possible to estimate end-to-end path available bandwidth. However, how to efficiently obtain available bandwidth info...
192
click to vote
VRML
2004
ACM
16 years 3 hour ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...