Sciweavers

5170 search results - page 324 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
MHCI
2005
Springer
16 years 7 days ago
Survey of position location techniques in mobile systems
The growth of mobile technology has made recording of user’s location possible. The systems that intent to use location in order to register user’s movement and to use the gen...
Thanos Manesis, Nikolaos M. Avouris
DAC
2012
ACM
13 years 9 months ago
Towards fault-tolerant embedded systems with imperfect fault detection
Many state-of-the-art approaches on fault-tolerant system design make the simplifying assumption that all faults are detected within a certain time interval. However, based on a d...
Jia Huang, Kai Huang, Andreas Raabe, Christian Buc...
KBSE
1994
IEEE
15 years 11 months ago
A Formal Approach to Domain-Oriented Software Design Environments
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
AUTOMATICA
2008
74views more  AUTOMATICA 2008»
15 years 6 months ago
Policy iteration based feedback control
It is well known that stochastic control systems can be viewed as Markov decision processes (MDPs) with continuous state spaces. In this paper, we propose to apply the policy iter...
Kan-Jian Zhang, Yan-Kai Xu, Xi Chen, Xi-Ren Cao
NLDB
2007
Springer
16 years 27 days ago
A Lightweight Approach to Semantic Annotation of Research Papers
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, Joh...