Sciweavers

998 search results - page 57 / 200
» From Feasible Proofs to Feasible Computations
Sort
View
COGSCI
2008
139views more  COGSCI 2008»
13 years 9 months ago
A Computational Model of Early Argument Structure Acquisition
How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in ...
Afra Alishahi, Suzanne Stevenson
ANOR
2002
99views more  ANOR 2002»
13 years 8 months ago
An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
Mark S. Daskin, Collette R. Coullard, Zuo-Jun Max ...
PERCOM
2008
ACM
14 years 8 months ago
Are our homes ready for services? A domotic infrastructure based on the Web service stack
The increase in computational power and the networking abilities of home appliances are revolutionizing the way we interact with our homes. This trend is growing stronger and open...
Marco Aiello, Schahram Dustdar
IPPS
1999
IEEE
14 years 1 months ago
The Case for Prediction-Based Best-Effort Real-Time Systems
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...
Peter A. Dinda, Loukas F. Kallivokas, Bruce Loweka...
CHI
2011
ACM
13 years 12 days ago
Things that hover: interaction with tiny battery-less robots on desktop
This paper presents computationally and physically augmented desktop objects - “Things that hover” - that is capable of moving autonomously on desktop, and discusses about tec...
Takashi Miyaki, Yong Ding, Behnam Banitalebi, Mich...