Sciweavers

14347 search results - page 2546 / 2870
» Interactive Granular Computing
Sort
View
152
Voted
WOLLIC
2009
Springer
15 years 10 months ago
Deep Inference in Bi-intuitionistic Logic
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
Linda Postniece
138
Voted
ATAL
2009
Springer
15 years 10 months ago
A demonstration of the Polaris poker system
Poker games provide a useful testbed for modern Artificial Intelligence techniques. Unlike many classical game domains such as chess and checkers, poker includes elements of impe...
Michael H. Bowling, Nicholas Abou Risk, Nolan Bard...
147
Voted
CIARP
2009
Springer
15 years 10 months ago
Finding Images with Similar Lighting Conditions in Large Photo Collections
When we look at images taken from outdoor scenes, much of the information perceived is due to the ligthing conditions. In these scenes, the solar beams interact with the atmosphere...
Mauricio Díaz, Peter F. Sturm
ESTIMEDIA
2009
Springer
15 years 10 months ago
QoS management of dynamic video tasks by task splitting and skipping
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
Rob Albers, Eric Suijs, Peter H. N. de With
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 10 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
« Prev « First page 2546 / 2870 Last » Next »