8768 search results - page 137 / 1754 » Generalizing the notion of support |
194
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
177
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
226
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
179
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
The importance of dominance and skyline analysis has been well recognized in multi-criteria decision making applications. Most previous studies assume a fixed order on the attribu...
181
click to vote
TCC
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. For secure two-party and multi-party computation with abort, classification of which primitives are complete has been extensively studied in the literature. However, for...