Sciweavers

159 search results - page 15 / 32
» Complete Laziness: a Natural Semantics
Sort
View
139
Voted
IJSWIS
2006
168views more  IJSWIS 2006»
15 years 1 months ago
Unraveling the Taste Fabric of Social Networks
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
Hugo Liu, Pattie Maes, Glorianna Davenport
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 3 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
115
Voted
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 3 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
76
Voted
FLAIRS
2000
15 years 3 months ago
Deriving Summaries Through an Identity-Based Approach
The existence of large datasets requires methods for producing simpler or summarized views of data. Typical approaches to summarization based on statistics do not capture complete...
Kathleen Hornsby
132
Voted
MLQ
2000
88views more  MLQ 2000»
15 years 1 months ago
Logics of Complementarity in Information Systems
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
Ivo Düntsch, Ewa Orlowska