Sciweavers

1818 search results - page 209 / 364
» The Many Faces of a Translation
Sort
View
ECOOP
2007
Springer
16 years 24 days ago
Metaprogramming with Traits
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
John H. Reppy, Aaron Turon
OTM
2007
Springer
16 years 22 days ago
SPARQL++ for Mapping Between RDF Vocabularies
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
Axel Polleres, François Scharffe, Roman Sch...
VLDB
2007
ACM
150views Database» more  VLDB 2007»
16 years 22 days ago
Monitoring Business Processes with Queries
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg
IROS
2006
IEEE
104views Robotics» more  IROS 2006»
16 years 19 days ago
Landmark Selection for Task-Oriented Navigation
—Many vision-based navigation systems are restricted to the use of only a limited number of landmarks when computing the camera pose. This limitation is due to the overhead of de...
Ronen Lerner, Ehud Rivlin, Ilan Shimshoni
184
Voted
ACL2
2006
ACM
16 years 18 days ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis