741 search results - page 123 / 149 » A Local System for Classical Logic |
170
click to vote
ICMI
2003
Springer
15 years 8 months ago
2003
Springer
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
109
Voted
DCOSS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
109
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Despite the recent advances in planning for classical domains, the question of how to use domain knowledge in planning is yet to be completely and clearly answered. Some ...
107
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
We study the online version of the classical parallel machine scheduling problem to minimize the total weighted completion time from a new perspective: We assume that the data of ...
139
Voted
TSP
2008
15 years 3 months ago
2008
In this paper we concentrate on the direct semi-blind spatial equalizer design for MIMO systems with Rayleigh fading channels. Our aim is to develop an algorithm which can outperf...