Sciweavers

8701 search results - page 1595 / 1741
» XML-Based Feature Modelling
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
15 years 3 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
131
Voted
CSDA
2007
152views more  CSDA 2007»
15 years 3 months ago
Robust variable selection using least angle regression and elemental set sampling
In this paper we address the problem of selecting variables or features in a regression model in the presence of both additive (vertical) and leverage outliers. Since variable sel...
Lauren McCann, Roy E. Welsch
NECO
2000
113views more  NECO 2000»
15 years 3 months ago
Geometric Analysis of Population Rhythms in Synaptically Coupled Neuronal Networks
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...
Jonathan E. Rubin, David Terman
RAS
2000
144views more  RAS 2000»
15 years 3 months ago
Robot navigation in the real world: : Experiments with Manchester's FortyTwo in unmodified, large environments
Mobile robot navigation under controlled laboratory conditions is, by now, state of the art and reliably achievable. To transfer navigation mechanisms used in such small-scale env...
Ulrich Nehmzow, Carl Owen
AIR
1998
103views more  AIR 1998»
15 years 3 months ago
Tackling Real-Coded Genetic Algorithms: Operators and Tools for Behavioural Analysis
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
Francisco Herrera, Manuel Lozano, José L. V...
« Prev « First page 1595 / 1741 Last » Next »