1730 search results - page 213 / 346 » Algebra and Computation |
216
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
223
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...
150
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
An approach for reconstructing wireframe models of curvilinear objects from three orthographic views is discussed. Our main stress is on the method of generating three-dimensional ...
134
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
140
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
The purpose of the current study was to test whether we could create a system where students can learn by teaching a live machine-learning agent. SimStudent is a computer agent tha...