2012 search results - page 232 / 403 » CORAL - Control, Relations and Logic |
152
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
219
click to vote
TMC
2012
13 years 9 months ago
2012
—Backoff misbehavior, in which a wireless node deliberately manipulates its backoff time, can induce significant network problems, such as severe unfairness and denial-of-servic...
211
click to vote
TMC
2012
13 years 9 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
214
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
179
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...