Search Sciweavers | Sciweavers

14360 search results - page 149 / 2872

» Time Modeling in MARTE

click to vote

ICRA
2002
IEEE

76views Robotics» more ICRA 2002»

Weak Models and Cue Integration for Real-Time Tracking

14 years 3 months ago

Download www.cc.gatech.edu

Danica Kragic, Henrik I. Christensen

claim paper

Read More »

click to vote

CIKM
2001
Springer

98views Information Technology» more CIKM 2001»

Real Time User Context Modeling for Information Retrieval Agents

14 years 2 months ago

Download www.cs.indiana.edu

The success of personal information agents depends on their ability to provide task-relevant information. This paper presents WordSieve, a new algorithm that generates context des...

Travis Bauer, David B. Leake

claim paper

Read More »

click to vote

SEQLEARN
2001
Springer

216views Algorithms» more SEQLEARN 2001»

Time in Connectionist Models

14 years 2 months ago

Download liawww.epfl.ch

Jean-Cédric Chappelier, Marco Gori, Alain G...

claim paper

Read More »

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

14 years 2 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

click to vote

ICRA
2000
IEEE

83views Robotics» more ICRA 2000»

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers