2766 search results - page 112 / 554 » Hybridizing a Logical Framework |
169
click to vote
ECUMN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. MPNT (Multicast Proxies NeTwork) is an overlay architecture that was first conceived to provide multicast access to unicast-only users, like TutTelNet distant students. ...
160
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
180
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
We introduce “Facet-Streams”, a hybrid interactive surface for co-located collaborative product search on a tabletop. Facet-Streams combines techniques of information visualiz...
160
click to vote
RSFDGRC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
165
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...