Sciweavers

2450 search results - page 237 / 490
» Exploring Unknown Environments
Sort
View
150
Voted
IJHPCA
2006
113views more  IJHPCA 2006»
15 years 5 months ago
Heterogeneity-Aware Workload Distribution in Donation-Based Grids
In this paper, we explore the tradeoffs and opportunities in porting a high-throughput Grid computing middleware to a high-performance service oriented environment. We present the...
Rahul Trivedi, Abhishek Chandra, Jon B. Weissman
JSS
2006
99views more  JSS 2006»
15 years 5 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
UMUAI
2008
108views more  UMUAI 2008»
15 years 4 months ago
Developing a generalizable detector of when students game the system
Some students, when working in interactive learning environments, attempt to "game the system", attempting to succeed in the environment by exploiting properties of the s...
Ryan Shaun Joazeiro de Baker, Albert T. Corbett, I...
JAIR
2011
187views more  JAIR 2011»
14 years 12 months ago
A Monte-Carlo AIXI Approximation
This paper describes a computationally feasible approximation to the AIXI agent, a universal reinforcement learning agent for arbitrary environments. AIXI is scaled down in two ke...
Joel Veness, Kee Siong Ng, Marcus Hutter, William ...
ICCV
2007
IEEE
16 years 7 months ago
Geolocating Static Cameras
A key problem in widely distributed camera networks is geolocating the cameras. This paper considers three scenarios for camera localization: localizing a camera in an unknown env...
Nathan Jacobs, Scott Satkin, Nathaniel Roman, Robe...