1733 search results - page 87 / 347 » There is more to context than location |
103
click to vote
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
GRC
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
124
click to vote
IJCAI
1997
15 years 1 months ago
1997
Bayesian belief networks have grown to prominence because they provide compact representations of many domains, and there are algorithms to exploit this compactness. The next step...
108
click to vote
ICASSP
2010
IEEE
15 years 3 days ago
2010
IEEE
During the last decade, speaker verification systems have shown significant progress and have reached a level of performance and accuracy that support their utilization in pract...
ENTCS
2007
14 years 12 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...