8582 search results - page 279 / 1717 » Here or There |
194
Voted
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
205
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...
183
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...
205
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Many outlier detection methods do not merely provide the decision for a single data object being or not being an outlier but give also an outlier score or “outlier factor” sig...
190
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...