Sciweavers

2152 search results - page 125 / 431
» On Automating the Calculus of Relations
Sort
View
FMICS
2006
Springer
15 years 10 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
AGI
2008
15 years 7 months ago
Cognitive Primitives for Automated Learning
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
Sudharsan Iyengar
VISAPP
2008
15 years 7 months ago
AN Automated Visual Event Detection System for Cabled Observatory Video
The permanent presence of underwater cameras on cabled observatories, such as the Victoria Experimental Network Under the Sea (VENUS) and Eye-In-The-Sea (EITS) on Monterey Accelera...
Danelle E. Cline, Duane R. Edgington, Jér&o...
ISTA
2003
15 years 7 months ago
Using neighborhood information for automated categorization of Web pages
: In this paper we discuss several issues related to the influence of expansion of a Web document representation on quality of topical categorization of Web pages. We consider a W...
Nadejda Panteleeva
FLAIRS
2000
15 years 7 months ago
Automated Partitioning of Tonal Music
Most research related to automated analysis of music presupposes human partitioning of the input into segments corresponding to significant harmonic or melodic chunks. In this pap...
Bryan Pardo, William P. Birmingham