891 search results - page 103 / 179 » Full Abstraction for PCF |
HIPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
PAKDD
2005
ACM
14 years 1 months ago
2005
ACM
Abstract. In this paper we discuss an image mining application of Egeria detection. Egeria is a type of weed found in various lands and water regions over San Joaquin and Sacrament...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...
SARA
2005
Springer
14 years 1 months ago
2005
Springer
A pattern database (PDB) is a heuristic function in a form of a lookup table which stores the cost of optimal solutions for instances of subproblems. bproblems are generated by abs...