10910 search results - page 441 / 2182 » Input modeling using a computer algebra system |
184
click to vote
STOC
1995
ACM
15 years 10 months ago
1995
ACM
This paper contributes tothe study of nonlinear dynamical systems from a computational perspective. These systems are inherently more powerful than their linear counterparts (such...
143
click to vote
ECSQARU
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
175
click to vote
ADBIS
2005
Springer
16 years 12 days ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...
179
Voted
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
174
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...