1351 search results - page 89 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
198
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
162
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
Location based services and applications are buzzwords nowadays, yet they have been around for quite some time in a variety of applications. However these applications are scarce ...
153
click to vote
IROS
2006
IEEE
15 years 12 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
142
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
168
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
Schema matching is the task of finding semantic correspondences between elements of two schemas. It is needed in many database applications, such as integration of web data source...