1855 search results - page 234 / 371 » System Consequence |
136
Voted
GG
2004
Springer
15 years 10 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
157
Voted
DEDUCTIVE
1997
15 years 6 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
125
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
By its nature, the discipline of human computer interaction must take into consideration the issues that are most pertinent to humans. We believe that the CHI community faces an u...
135
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
159
click to vote
IJCV
2006
15 years 5 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...