Sciweavers

2373 search results - page 109 / 475
» Complexities for generalized models of self-assembly
Sort
View
ICTAI
2006
IEEE
15 years 10 months ago
Hierarchical Language Models for Expert Finding in Enterprise Corpora
Enterprise corpora contain evidence of what employees work on and therefore can be used to automatically find experts on a given topic. We present a general approach for represen...
Desislava Petkova, W. Bruce Croft
ICRA
2005
IEEE
107views Robotics» more  ICRA 2005»
15 years 10 months ago
Wheel Torque Control in Rough Terrain - Modeling and Simulation
Abstract - This paper presents a method for wheel-ground contact angle measurement and a traction control strategy minimizing slip in rough terrain. The slip minimization algorithm...
Pierre Lamon, Roland Siegwart
ICIC
2005
Springer
15 years 10 months ago
A Nonlinear Adaptive Predictive Control Algorithm Based on OFS Model
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...
Haitao Zhang, Zonghai Chen, Ming Li, Wei Xiang, Ti...
FOSSACS
2006
Springer
15 years 8 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder
AAAI
2008
15 years 6 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran