Sciweavers

4581 search results - page 536 / 917
» Computing Transformation Semigroups
Sort
View
SIGMOD
2002
ACM
187views Database» more  SIGMOD 2002»
16 years 7 months ago
A Conceptual Architecture for Semantic Web Enabled Web Services
Semantic Web Enabled Web Services (SWWS) will transform the web from a static collection of information into a distributed device of computation on the basis of Semantic Web techn...
Christoph Bussler, Dieter Fensel, Alexander Maedch...
EDBT
2002
ACM
132views Database» more  EDBT 2002»
16 years 7 months ago
A Framework for the Physical Design Problem for Data Synopses
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
Arnd Christian König, Gerhard Weikum
ICFP
2008
ACM
16 years 6 months ago
Pattern minimization problems over recursive data types
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
Alexander Krauss
PERCOM
2007
ACM
16 years 6 months ago
A User Interaction Model for NFC Enabled Applications
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
Yaw Anokwa, Gaetano Borriello, Trevor Pering, Roy ...
CVPR
2010
IEEE
16 years 3 months ago
Estimation of Image Bias Field with Sparsity Constraints
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...
Yuanjie Zheng and James C. Gee