1888 search results - page 275 / 378 » Proof theory and computational analysis |
108
click to vote
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
106
click to vote
PEWASUN
2005
ACM
15 years 7 months ago
2005
ACM
This paper examines several MANET behaviors and suggests root causes using a stochastic model of received power. It focuses specifically on MANET mechanisms most impacted by fin...
SPAA
2004
ACM
15 years 7 months ago
2004
ACM
Given two admission control algorithms that are cA-acceptcompetitive and cR-reject-competitive respectively, we give two ways to make an algorithm that is simultaneously O(cA)acce...
117
click to vote
COMPGEOM
2010
ACM
15 years 6 months ago
2010
ACM
Inference of topological and geometric attributes of a hidden manifold from its point data is a fundamental problem arising in many scientific studies and engineering application...
118
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Sorting is a commonly used process with a wide breadth of applications in the high performance computing field. Early research in parallel processing has provided us with comprehen...