748 search results - page 67 / 150 » Automatic Presentations and Semigroup Constructions |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
HASKELL
2009
ACM
14 years 3 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a novel method for automatic evaluation of conversational agents. In the method, information about users’ attitudes and sentiments to conversational agents a...
ICTAI
2008
IEEE
14 years 3 months ago
2008
IEEE
The Web Service Composition (WSC) problem on behavioral descriptions deals with the automatic construction of a coordinator web service to control a set of web services to reach t...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...