2233 search results - page 328 / 447 » On the Complexity of Theory Curbing |
PODS
2000
ACM
14 years 18 days ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...
AGENTS
2000
Springer
14 years 17 days ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
CIKM
2000
Springer
14 years 17 days ago
2000
Springer
RankBoost is a recently proposed algorithm for learning ranking functions. It is simple to implement and has strong justifications from computational learning theory. We describe...
DIAGRAMS
2000
Springer
14 years 17 days ago
2000
Springer
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
ECBS
2010
IEEE
14 years 17 days ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...