1788 search results - page 88 / 358 » Model Theory for Process Algebra |
107
click to vote
ICIAP
2005
ACM
16 years 24 days ago
2005
ACM
This paper presents a system for classifying facial expressions based on a data fusion process relying on the Belief Theory (BeT). Four expressions are considered: joy, surprise, d...
LPNMR
1990
Springer
15 years 4 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
117
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
103
click to vote
SIGMOD
1996
ACM
15 years 4 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
90
Voted
ISMB
1996
15 years 2 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...