2989 search results - page 402 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
169
click to vote
LCPC
1992
Springer
15 years 6 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
112
click to vote
AIIDE
2008
15 years 4 months ago
2008
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
117
click to vote
COMCOM
2007
15 years 2 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...
140
click to vote
IVC
2008
15 years 2 months ago
2008
In this article we propose a method for estimating the camera motion from a video-sequence acquired in the presence of general 3D structures. Solutions to this problem are commonl...
103
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...