Sciweavers

158

AAAI
2007

96views Intelligent Agents» more AAAI 2007»

Synthesis of Constraint-Based Local Search Algorithms from High-Level Models

15 years 8 months ago

The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...

Pascal Van Hentenryck, Laurent D. Michel

claim paper

Read More »

206

click to vote

MOBISYS
2010
ACM

305views Computer Networks» more MOBISYS 2010»

Augmenting mobile 3G using WiFi

15 years 8 months ago

Download research.microsoft.com

We investigate if WiFi access can be used to augment 3G capacity in mobile environments. We first conduct a detailed study of 3G and WiFi access from moving vehicles, in three dif...

Aruna Balasubramanian, Ratul Mahajan, Arun Venkata...

claim paper

Read More »

93

click to vote

AAAI
2008

110views Intelligent Agents» more AAAI 2008»

R* Search

15 years 8 months ago

Download www.seas.upenn.edu

Maxim Likhachev, Anthony Stentz

claim paper

Read More »

156

click to vote

AAAI
2008

162views Intelligent Agents» more AAAI 2008»

Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents

15 years 8 months ago

Download www.isi.edu

To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...

Yolanda Gil, Varun Ratnakar

claim paper

Read More »

83

click to vote

AAAI
2007

71views Intelligent Agents» more AAAI 2007»

Evolutionary Rhythm Composition with Trajectory-based Fitness Evaluation

15 years 8 months ago