Sciweavers

4327 search results - page 189 / 866
» Web presentation system using RST events
Sort
View
154
Voted
AI
2007
Springer
15 years 11 months ago
Learning Network Topology from Simple Sensor Data
In this paper, we present an approach for recovering a topological map of the environment using only detection events from a deployed sensor network. Unlike other solutions to this...
Dimitri Marinakis, Philippe Giguère, Gregor...
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 10 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
150
Voted
DAC
1998
ACM
15 years 9 months ago
Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
Tuyen V. Nguyen, Anirudh Devgan, Ognen J. Nastov
CLEF
2005
Springer
15 years 10 months ago
BUAP-UPV TPIRS: A System for Document Indexing Reduction at WebCLEF
Abstract. In this paper we present the results of BUAP/UPV universities in WebCLEF, a particular task of CLEF 2005. Particularly, we evaluate our information retrieval system at th...
David Pinto, Héctor Jiménez-Salazar,...
AMT
2001
Springer
191views Multimedia» more  AMT 2001»
15 years 9 months ago
An Authoring Tool for Building Adaptive Learning Guidance Systems on the Web
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
José Antonio Macías Iglesias, Pablo ...