Sciweavers

3972 search results - page 370 / 795
» Palpability Support Demonstrated
Sort
View
PVLDB
2010
151views more  PVLDB 2010»
15 years 2 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 2 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
TOPLAS
2010
115views more  TOPLAS 2010»
15 years 2 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
170
Voted
AROBOTS
2010
134views more  AROBOTS 2010»
15 years 2 months ago
Pivoting based manipulation by a humanoid robot
Abstract In this paper we address whole-body manipulation of bulky objects by a humanoid robot. We adopt a "pivoting" manipulation method that allows the humanoid to disp...
Eiichi Yoshida, Mathieu Poirier, Jean-Paul Laumond...
ESWS
2010
Springer
15 years 2 months ago
A Web-Based Repository Service for Vocabularies and Alignments in the Cultural Heritage Domain
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...
Lourens van der Meij, Antoine Isaac, Claus Zinn