689 search results - page 47 / 138 » Focusing in Linear Meta-logic |
122
click to vote
STOC
2002
ACM
16 years 4 months ago
2002
ACM
: We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful ...
130
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Although ear recognition has been researched widely, there still exist some problems to be resolved in depth such as multi-pose ear recognition which is rarely focused on. In this...
155
Voted
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
—We describe and evaluate a suite of distributed and computationally efficient algorithms for solving a class of convex optimization problems in wireless sensor networks. The pr...
117
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This work is focused on the design of a rotor speed regulator for small-scale helicopters. A nominal model identification for the main rotor is performed using a hybrid proced...
129
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...