Sciweavers

34181 search results - page 6436 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
HRI
2007
ACM
15 years 10 months ago
Human control for cooperating robot teams
Human control of multiple robots has been characterized by the average demand of single robots on human attention or the distribution of demands from multiple robots. When robots ...
Jijun Wang, Michael Lewis
FORMATS
2009
Springer
15 years 10 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ICAC
2007
IEEE
15 years 10 months ago
Strider Search Ranger: Towards an Autonomic Anti-Spam Search Engine
Search spammers use questionable search engine optimization techniques to promote their spam links into top search results. Large-scale spammers target commerce queries that they ...
Yi-Min Wang, Ming Ma
GIS
2009
ACM
15 years 10 months ago
Dynamic network data exploration through semi-supervised functional embedding
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
Alexei Pozdnoukhov
189
Voted
ICCTA
2007
IEEE
15 years 10 months ago
Chromatogram Image Pre-Processing and Feature Extraction for Automatic Soil Analysis
A circular paper chromatogram is obtained from an alkaline solution of silver nitrate and soil. The shape, size, color and textural patterns of the chromatogram image are hypothes...
Variganti Saritha, Mary Joseph Minu, Sukhendu Das,...
« Prev « First page 6436 / 6837 Last » Next »