2850 search results - page 267 / 570 » On Timed Models and Full Abstraction |
177
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recent sensor technologies have enabled the capture of users’ behavior data. Given the large amount of data currently available from sensor-equipped environments, it is...
156
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
155
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
194
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
193
Voted
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...