8838 search results - page 147 / 1768 » Generalizing Domain Theory |
144
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
169
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
159
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— A shell is a body enclosed between two closely spaced and curved surfaces. Classical theory of shells [38], [33], [16] assumes a parametrization along the lines of principal cu...
144
click to vote
UAI
2001
15 years 5 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
126
click to vote
COGSCI
2010
15 years 4 months ago
2010
Abecassis, Sera, Yonas, and Schwade (2001) have shown that young children represent shapes more metrically, and perhaps more holistically, than do older children and adults. How d...