Sciweavers

201 search results - page 10 / 41
» Declaring Numbers
Sort
View
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
14 years 11 months ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
CP
2008
Springer
13 years 11 months ago
Adding Search to Zinc
Abstract. We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a...
Reza Rafeh, Kim Marriott, Maria Garcia de la Banda...
EUROITV
2008
Springer
13 years 11 months ago
ShapeShifting Documentary: A Golden Age
Abstract. ShapeShifting TV denotes an approach to interactive television programmes that can adapt during delivery to the preferences of the active viewers. ShapeShifting TV is bas...
Vilmos Zsombori, Marian Florin Ursu, John Wyver, I...
ECCTD
2011
68views more  ECCTD 2011»
12 years 9 months ago
An ontology for constraints in custom IC design
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...
Andreas Krinke, Jens Lienig
AGP
2003
IEEE
14 years 1 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello