Sciweavers

3384 search results - page 202 / 677
» More Testable Properties
Sort
View
IJRR
2008
115views more  IJRR 2008»
13 years 10 months ago
Planning High-quality Paths and Corridors Amidst Obstacles
The motion-planning problem, involving the computation of a collision-free path for a moving entity amidst obstacles, is a central problem in fields like Robotics and Game Design....
Ron Wein, Jur P. van den Berg, Dan Halperin
CN
2007
95views more  CN 2007»
13 years 10 months ago
Sampling large Internet topologies for simulation purposes
In this paper, we develop methods to ‘‘sample’’ a small realistic graph from a large Internet topology. Despite recent activity, modeling and generation of realistic graph...
Vaishnavi Krishnamurthy, Michalis Faloutsos, Marek...
IOR
2008
109views more  IOR 2008»
13 years 10 months ago
Polynomial-Time Algorithms for Stochastic Uncapacitated Lot-Sizing Problems
In 1958, Wagner and Whitin published a seminal paper on the deterministic uncapacitated lot-sizing problem, a fundamental model that is embedded in many practical production plann...
Yongpei Guan, Andrew J. Miller
COGSCI
2007
79views more  COGSCI 2007»
13 years 10 months ago
Contextualizing Counterintuitiveness: How Context Affects Comprehension and Memorability of Counterintuitive Concepts
A number of anthropologists have argued that religious concepts are minimally counterintuitive and that this gives them mnemic advantages. This paper addresses the question of why...
M. Afzal Upala, Lauren O. Gonce, Ryan D. Tweney, D...
COMCOM
2007
83views more  COMCOM 2007»
13 years 10 months ago
Improving authentication of remote card transactions with mobile personal trusted devices
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...
Andrea Bottoni, Gianluca Dini