1073 search results - page 95 / 215 » Reasoning about Continuous Processes |
127
Voted
TLDI
2009
ACM
16 years 13 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
105
Voted
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
To support human functioning, ambient intelligent agents require knowledge about the tasks executed by the human. This knowledge includes design-time information like: (i) the goa...
137
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...
122
Voted
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
105
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...