2765 search results - page 465 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
ENTCS
2008
14 years 11 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
DBPL
1999
Springer
15 years 3 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
105
click to vote
IJCAI
2003
15 years 20 days ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
100
click to vote
WWW
2001
ACM
15 years 12 months ago
2001
ACM
Web applications are growing in demand, complexity and size, thus making it difficult to systematically design and maintain general web applications. To aid in fulfilling these di...
UML
2005
Springer
15 years 4 months ago
2005
Springer
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...