1113 search results - page 39 / 223 » Counter Systems for Data Logics |
138
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a multi-biometric verification system that is fully adaptive to variability in data acquisition using fuzzy logic decision fusion. The system uses fuzzy logic...
129
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
111
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
Peer-to-Peer file-sharing applications suffer from a fundamental problem of unfairness. Free-riders cause slower download times for others by contributing little or no upload band...
107
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
134
click to vote
DOLAP
2006
ACM
15 years 10 months ago
2006
ACM
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...