4190 search results - page 239 / 838 » Type Class Directives |
131
click to vote
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
: We propose in this article an object-oriented approach to rewriting queries using views. Our approach aims to mitigate certain limitations of existing query rewriting approaches....
146
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
120
click to vote
KES
1998
Springer
15 years 8 months ago
1998
Springer
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
132
click to vote
LOPSTR
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
125
click to vote
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...