Sciweavers

3009 search results - page 297 / 602
» The Expressive Rate of Constraints
Sort
View
ER
2007
Springer
108views Database» more  ER 2007»
16 years 26 days ago
Reasoning over Extended ER Models
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
GFKL
2007
Springer
148views Data Mining» more  GFKL 2007»
16 years 26 days ago
Information Integration of Partially Labeled Data
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
Steffen Rendle, Lars Schmidt-Thieme
ISSRE
2006
IEEE
16 years 22 days ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
ICRA
2005
IEEE
249views Robotics» more  ICRA 2005»
16 years 9 days ago
Image-based Control of Mobile Robot with Central Catadioptric Cameras
— To close the loop between motion and vision, tracked visual features must remain in the camera field of view (visibility constraint). To overcome the visibility constraint, vi...
Hicham Hadj-Abdelkader, Youcef Mezouar, Nicolas An...
PLDI
2005
ACM
16 years 8 days ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine