Sciweavers

1747 search results - page 297 / 350
» Location, Localization, and Localizability
Sort
View
JIRS
2006
113views more  JIRS 2006»
13 years 11 months ago
Using Virtual Pheromones and Cameras for Dispersing a Team of Multiple Miniature Robots
To safely and efficiently guide personnel of search and rescue operations in disaster areas, swift gathering of relevant information such as the locations of victims, must occur. U...
Janice L. Pearce, Bob Powers, Chistopher Hess, Pau...
JMM2
2006
129views more  JMM2 2006»
13 years 11 months ago
Delivering Audio and Video with Rich Site Summary Enclosures
- Rich Site Summary (RSS) technology is a web content syndication format commonly used to organise news and the content of news-like sites. Indeed any information that can be broke...
Kevin Curran, Sheila McKinney
ENGL
2007
164views more  ENGL 2007»
13 years 11 months ago
Vision Based Target-Tracking Realized with Mobile Robots using Extended Kalman Filter
— The paper presents a novel scheme for target-tracking realized with two mobile robots, where one robot is configured as tracker and the other as moving target. Fuzzy C-means cl...
Sheli Sinha Chaudhuri, Amit Konar
ENTCS
2007
101views more  ENTCS 2007»
13 years 11 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
ENTCS
2007
115views more  ENTCS 2007»
13 years 11 months ago
A Global Algorithm for Model-Based Test Suite Generation
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
Anders Hessel, Paul Pettersson