8838 search results - page 92 / 1768 » Generalizing Domain Theory |
119
Voted
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
119
click to vote
EUROSSC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
124
Voted
FLAIRS
2003
15 years 5 months ago
2003
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...
113
click to vote
COGSCI
2010
15 years 4 months ago
2010
This paper presents recent research that provides an overarching model of exemplar theory capable of explaining phenomena across the phonetic and syntactic strata. The model repre...
106
Voted
AAAI
1998
15 years 5 months ago
1998
Hierarchical task network and action-based planning approaches have traditionally been studied separately. In many domains, human expertise in the form of hierarchical reduction s...