8838 search results - page 197 / 1768 » Generalizing Domain Theory |
194
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
184
click to vote
ECSCW
2011
14 years 6 months ago
2011
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinctâ€...
164
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes a novel Web page segmentation method for mobile browsing, aiming to break a Web page into visually and semantically coherent units fitted to the limited screen ...
158
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
175
click to vote
NETGAMES
2006
ACM
16 years 1 months ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...