Sciweavers

1721 search results - page 163 / 345
» The fundamentals of hybrid systems modelers
Sort
View
ECAI
2006
Springer
15 years 10 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
IEEEICCI
2006
IEEE
16 years 15 days ago
User-centered Interactive Data Mining
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
Yan Zhao, Yaohua Chen, Yiyu Yao
IROS
2006
IEEE
204views Robotics» more  IROS 2006»
16 years 14 days ago
Distributed Sensing and Prediction of Obstacle Motions for Mobile Robot Motion Planning
— This work recommends an architecture and its fundamental components for motion planning for mobile robots in dynamic environments. An adaptive behavior to typical motion patter...
Thorsten Rennekamp, Kai Homeier, Torsten Kroeger
ICC
2007
IEEE
16 years 24 days ago
A Low-Complexity Impulse Radio Receiver based upon Gaussian Mixtures
Abstract— Ultra wide band (UWB) impulse radio (IR) technology calls for robust and low-complexity receiver techniques. State-of-the-art proposals are both coherent ML receivers, ...
Tomaso Erseghe
ESWS
2007
Springer
16 years 19 days ago
A Unified Approach to Retrieving Web Documents and Semantic Web Data
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
Trivikram Immaneni, Krishnaprasad Thirunarayan