3229 search results - page 138 / 646 » Theories with the Independence Property |
75
Voted
ENTCS
2002
15 years 17 days ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
95
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
103
click to vote
CCR
2000
15 years 18 days ago
2000
Distributed optimal traffic engineering in the presence of multiple paths has been found to be a difficult problem to solve. In this paper, we introduce a new approach in an attem...
114
click to vote
TCOM
2010
14 years 11 months ago
2010
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...
106
click to vote
PODS
2006
ACM
16 years 27 days ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...