Sciweavers

4924 search results - page 434 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
AROBOTS
2002
93views more  AROBOTS 2002»
15 years 6 months ago
Mathematical Model of Foraging in a Group of Robots: Effect of Interference
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...
Kristina Lerman, Aram Galstyan
SPIN
2009
Springer
16 years 1 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
BMCBI
2007
113views more  BMCBI 2007»
15 years 7 months ago
CoryneRegNet 4.0 - A reference database for corynebacterial gene regulatory networks
Background: Detailed information on DNA-binding transcription factors (the key players in the regulation of gene expression) and on transcriptional regulatory interactions of micr...
Jan Baumbach
MODELS
2010
Springer
15 years 5 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...
CRV
2005
IEEE
198views Robotics» more  CRV 2005»
16 years 13 days ago
Analysis of Player Actions in Selected Hockey Game Situations
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
Fahong Li, Robert J. Woodham