933 search results - page 87 / 187 » Extending Forward Checking |
102
Voted
CADE
2009
Springer
15 years 7 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
91
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We present an adaptive control approach combining forward kinematics model learning methods with the operational space control approach. This combination endows the rob...
113
click to vote
ECOWS
2009
Springer
15 years 7 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
87
Voted
AINA
2008
IEEE
15 years 7 months ago
2008
IEEE
With wireless technologies extending to every part of our daily lives, mobile networking applications are becoming increasingly popular for accessing the Internet. In this paper, ...
107
Voted
CSMR
2006
IEEE
15 years 6 months ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...