Sciweavers

1614 search results - page 181 / 323
» Planning as Temporal Reasoning
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 10 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
EDBT
2004
ACM
162views Database» more  EDBT 2004»
16 years 6 months ago
Non-contiguous Sequence Pattern Queries
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
Nikos Mamoulis, Man Lung Yiu
AIPS
2009
15 years 7 months ago
A Human-Aware Robot Task Planner
The growing presence of household robots in inhabited environments arises the need for new robot task planning techniques. These techniques should take into consideration not only...
Marcello Cirillo, Lars Karlsson, Alessandro Saffio...
TSMC
2002
110views more  TSMC 2002»
15 years 6 months ago
Bio-mimetic trajectory generation of robots via artificial potential field with time base generator
This paper proposes a new trajectory generation method that allows full control of transient behavior, namely, time-to-target and velocity profile, based on the artificial potentia...
Toshio Tsuji, Yoshiyuki Tanaka, Pietro Morasso, Vi...
EDBT
2009
ACM
118views Database» more  EDBT 2009»
16 years 1 months ago
Optimized union of non-disjoint distributed data sets
In a variety of applications, ranging from data integration to distributed query evaluation, there is a need to obtain sets of data items from several sources (peers) and compute ...
Itay Dar, Tova Milo, Elad Verbin