2903 search results - page 182 / 581 » On the univalence of an integral operator |
176
click to vote
DANTE
1999
IEEE
15 years 11 months ago
1999
IEEE
Data warehouse refreshment is often viewed as a problem of maintaining materialized views over operational sources. In this paper, we show that the data warehouse refreshment proc...
157
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
159
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
195
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
165
click to vote
IJCAI
2007
15 years 8 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...