Sciweavers

969 search results - page 145 / 194
» Generalized matching from theory to application
Sort
View
BRAIN
2010
Springer
15 years 7 months ago
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
Yingxu Wang
HASKELL
2008
ACM
15 years 7 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
SIGECOM
2010
ACM
128views ECommerce» more  SIGECOM 2010»
15 years 6 months ago
Equilibria of plurality voting with abstentions
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
Yvo Desmedt, Edith Elkind
JBI
2006
117views Bioinformatics» more  JBI 2006»
15 years 6 months ago
Desiderata for domain reference ontologies in biomedicine
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...
Anita Burgun
DEDS
2007
104views more  DEDS 2007»
15 years 6 months ago
Trellis Processes : A Compact Representation for Runs of Concurrent Systems
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
Eric Fabre