Sciweavers

3856 search results - page 99 / 772
» Models for Automated Earthmoving
Sort
View
137
Voted
DEBU
2006
142views more  DEBU 2006»
15 years 4 months ago
Automated Storage Management with QoS Guarantee in Large-scale Virtualized Storage Systems
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
Lin Qiao, Balakrishna R. Iyer, Divyakant Agrawal, ...
AGENTS
2000
Springer
15 years 9 months ago
Automated assistants to aid humans in understanding team behaviors
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
Taylor Raines, Milind Tambe, Stacy Marsella
CIVR
2005
Springer
183views Image Analysis» more  CIVR 2005»
15 years 10 months ago
Automated Image Annotation Using Global Features and Robust Nonparametric Density Estimation
This paper describes a simple framework for automatically annotating images using non-parametric models of distributions of image features. We show that under this framework quite ...
Alexei Yavlinsky, Edward Schofield, Stefan M. R&uu...
NLDB
2004
Springer
15 years 10 months ago
Concept Indexing for Automated Text Categorization
In this paper we explore the potential of concept indexing with WordNet synsets for Text Categorization, in comparison with the traditional bag of words text representation model. ...
José María Gómez Hidalgo, Jos...
126
Voted
CAV
2010
Springer
251views Hardware» more  CAV 2010»
15 years 8 months ago
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...