Sciweavers

3591 search results - page 19 / 719
» Typing linear constraints
Sort
View
SIGMOD
2003
ACM
150views Database» more  SIGMOD 2003»
14 years 10 months ago
Capturing both Types and Constraints in Data Integration
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juli...
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
14 years 4 months ago
Model Video Semantics with Constraints Considering Temporal Structure and Typed Events
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
Yu Wang, Lizhu Zhou, Jianyong Wang
WWW
2005
ACM
14 years 11 months ago
CaTTS: calendar types and constraints for Web applications
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
François Bry, Frank-André Rieß...
ORL
2010
108views more  ORL 2010»
13 years 5 months ago
Easy distributions for combinatorial optimization problems with probabilistic constraints
We show how we can linearize probabilistic linear constraints with binary variables when all coefficients are distributed according to either N(
Bernard Fortz, Michael Poss
ECOOP
2001
Springer
14 years 2 months ago
Precise Constraint-Based Type Inference for Java
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
Tiejun Wang, Scott F. Smith