Sciweavers

1619 search results - page 257 / 324
» Important Moments in Systems and Control
Sort
View
ATAL
1997
Springer
14 years 10 days ago
A Formal Specification of dMARS
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, David Kinny, Michael Luck, Michael...
JAR
1998
134views more  JAR 1998»
13 years 8 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
CVPR
2007
IEEE
14 years 10 months ago
Large scale vision-based navigation without an accurate global reconstruction
Autonomous cars will likely play an important role in the future. A vision system designed to support outdoor navigation for such vehicles has to deal with large dynamic environme...
Albert Diosi, Anthony Remazeilles, François...
ICDE
2009
IEEE
122views Database» more  ICDE 2009»
14 years 10 months ago
Secure Enterprise Services Consumption for SaaS Technology Platforms
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...
Yücel Karabulut, Ike Nassi
ICIP
2006
IEEE
14 years 10 months ago
Interpolation Free Sub-Pixel Motion Estimation for H.264
Sub-pixel motion compensation plays an important role in compression efficiency within modern video codecs such as MPEG2, MPEG4 and H.264. Sub-pixel motion compensa tion is implem...
Paul R. Hill, Tuan-Kiang Chiew, David R. Bull