14699 search results - page 478 / 2940 » Complexity and Cognitive Computing |
165
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of automatic palmprint authentication systems, the development of accur...
156
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
204
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
181
click to vote
GLOBECOM
2006
IEEE
16 years 28 days ago
2006
IEEE
—Design of space-time codes that scale with the number of transmit antennas is a difficult problem. In this paper, we introduce a new family of space-time trellis codes (STTC) th...
159
click to vote
COMPGEOM
2006
ACM
16 years 26 days ago
2006
ACM
The medial axis of a shape is known to carry a lot of information about it. In particular a recent result of Lieutier establishes that every bounded open subset of Rn has the same...