3690 search results - page 450 / 738 » Computation with classical sequents |
181
click to vote
ISPAN
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a novel framework for intelligent temperature control in smart homes using Wireless Sensor Networks (WSN) and geostatistical analysis for total spatial awar...
144
Voted
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
—A common problem in many areas of behavioral research is the analysis of the large volume of data recorded during the execution of the tasks being studied. Recent work has propo...
145
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we consider an object categorization system using local HMAX features. Two feature matching techniques are compared: the MAX technique, originally proposed in the HMA...
236
click to vote
AIRWEB
2009
Springer
16 years 1 months ago
2009
Springer
The popularity of social bookmarking sites has made them prime targets for spammers. Many of these systems require an administrator’s time and energy to manually filter or remo...
167
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the parameter cutwidth for the Cutting Planes (CP) system of Gomory and Chv´atal. We provide linear lower bounds on cutwidth for two simple polytopes. Considering CP ...