Sciweavers

1389 search results - page 154 / 278
» Lightweight dependent classes
Sort
View
ATAL
2004
Springer
14 years 3 months ago
Graphical Models in Local, Asymmetric Multi-Agent Markov Decision Processes
In multi-agent MDPs, it is generally necessary to consider the joint state space of all agents, making the size of the problem and the solution exponential in the number of agents...
Dmitri A. Dolgov, Edmund H. Durfee
ECAI
2004
Springer
14 years 3 months ago
Attention-Driven Parts-Based Object Detection
Recent studies have argued that natural vision systems perform classification by utilizing different mechanisms depending on the visual input. In this paper we present a hybrid, ...
Ilkka Autio, Jussi T. Lindgren
PADL
2004
Springer
14 years 3 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
14 years 3 months ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
ICALT
2003
IEEE
14 years 3 months ago
A Distributed Software System Architecture For Wireless Peer-to-Peer Collaborative Learning
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
Indrani Vedula, Richard Han