Sciweavers

1583 search results - page 134 / 317
» Standardization and Competitive Advantage
Sort
View
HYBRID
2009
Springer
16 years 9 days ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
Jens Oehlerking, Oliver E. Theel
TIME
2009
IEEE
16 years 8 days ago
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
Carlo Zaniolo
ACG
2009
Springer
16 years 4 days ago
A Lock-Free Multithreaded Monte-Carlo Tree Search Algorithm
With the recent success of Monte-Carlo tree search algorithms in Go and other games, and the increasing number of cores in standard CPUs, the efficient parallelization of the sear...
Markus Enzenberger, Martin Müller 0003
ISVC
2009
Springer
16 years 2 days ago
Real-Time Feature Acquisition and Integration for Vision-Based Mobile Robots
In this paper we propose a new system for real-time feature acquisition and integration based on high-resolution stereo images that is suitable for mobile robot platforms with limi...
Thomas Hübner, Renato Pajarola
LION
2009
Springer
210views Optimization» more  LION 2009»
16 years 2 days ago
Beam-ACO Based on Stochastic Sampling: A Case Study on the TSP with Time Windows
Beam-ACO algorithms are hybrid methods that combine the metaheuristic ant colony optimization with beam search. They heavily rely on accurate and computationally inexpensive boundi...
Manuel López-Ibáñez, Christia...