Sciweavers

576 search results - page 49 / 116
» XML-RL Update Language
Sort
View
CHI
2003
ACM
16 years 5 days ago
Mr.Web: an automated interactive webmaster
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
Andrea Lockerd, Huy Pham, Taly Sharon, Ted Selker
DBPL
2007
Springer
115views Database» more  DBPL 2007»
15 years 6 months ago
XML Publishing: Bridging Theory and Practice
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
Wenfei Fan
AMS
2005
Springer
112views Robotics» more  AMS 2005»
15 years 5 months ago
Combining Learning and Programming for High-Performance Robot Controllers
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
Alexandra Kirsch, Michael Beetz
FASE
2001
Springer
15 years 4 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
POPL
1998
ACM
15 years 4 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide