2736 search results - page 361 / 548 » Implementable allocation rules |
158
click to vote
TODS
2002
15 years 6 months ago
2002
g for Dependencies at Multiple Abstraction Levels Toon Calders Raymond T. Ng Jef Wijsen The notion of roll-up dependency (RUD) extends functional dependencies with generalization ...
167
click to vote
NA
2010
15 years 4 months ago
2010
Quasi-Newton methods for solving singular systems of nonlinear equations are considered in this paper. Singular roots cause a number of problems in implementation of iterative met...
213
click to vote
TOPLAS
2010
15 years 4 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
295
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
181
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...