Sciweavers

1034 search results - page 152 / 207
» Competitive generalized auctions
Sort
View
OOPSLA
2001
Springer
14 years 1 months ago
Multitasking without Compromise: A Virtual Machine Evolution
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
Grzegorz Czajkowski, Laurent Daynès
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
14 years 1 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
ROBOCUP
1999
Springer
107views Robotics» more  ROBOCUP 1999»
14 years 1 months ago
The RoboCup-98 Teamwork Evaluation Session: A Preliminary Report
Abstract. Increasingly, agent teams are used in realistic and complex multiagent environments. In such environments, dynamic and complex changes in the environment require appropri...
Gal A. Kaminka
COCOON
1998
Springer
14 years 1 months ago
On The Bahncard Problem
In this paper, we generalize the Ski-Rental Problem to the Bahncard Problem which is an online problem of practical relevance for all travelers. The Bahncard is a railway pass of t...
Rudolf Fleischer
ROBOCUP
1997
Springer
96views Robotics» more  ROBOCUP 1997»
14 years 1 months ago
The RoboCup Synthetic Agent Challenge 97
RoboCup Challenge offers a set of challenges for intelligent agent researchers using a friendly competition in a dynamic, real-time, multiagent domain. While RoboCup in general en...
Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela...