Sciweavers

11066 search results - page 2106 / 2214
» Linearity in Process Languages
Sort
View
145
Voted
ATAL
2010
Springer
15 years 4 months ago
Agreeing on plans through iterated disputes
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...
166
Voted
CLEF
2009
Springer
15 years 4 months ago
LogCLEF 2009: The CLEF 2009 Multilingual Logfile Analysis Track Overview
Log data constitute a relevant aspect in the evaluation process of the quality of a search engine and the quality of a multilingual search service; log data can be used to study t...
Thomas Mandl, Maristella Agosti, Giorgio Maria Di ...
130
Voted
CLEF
2009
Springer
15 years 4 months ago
Using Semantic Relatedness and Word Sense Disambiguation for (CL)IR
In this paper we report the experiments for the CLEF 2009 Robust-WSD task, both for the monolingual (English) and the bilingual (Spanish to English) subtasks. Our main experimenta...
Eneko Agirre, Arantxa Otegi, Hugo Zaragoza
130
Voted
SMA
2010
ACM
181views Solid Modeling» more  SMA 2010»
15 years 3 months ago
Merging and smoothing machining boundaries on cutter location surfaces
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...
Weishi Li, Ralph R. Martin, Frank C. Langbein
161
Voted
HASE
2008
IEEE
15 years 3 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
« Prev « First page 2106 / 2214 Last » Next »