5477 search results - page 606 / 1096 » Contexts, Domains, and Software |
178
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
193
click to vote
EUROMICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
176
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
232
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
189
click to vote
AICCSA
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...