Sciweavers

5634 search results - page 26 / 1127
» About Abstract Classes
Sort
View
JASIS
2008
117views more  JASIS 2008»
14 years 10 months ago
Blind men and elephants: What do citation summaries tell us about a research article?
The old Asian legend about the blind men and the elephant comes to mind when looking at how different authors of scientific papers describe a piece of related prior work. It turns...
Aaron Elkiss, Siwei Shen, Anthony Fader, Güne...
COSIT
1999
Springer
148views GIS» more  COSIT 1999»
15 years 2 months ago
Representation and Reasoning about Shapes: Cognitive and Computational Studies in Visual Reasoning in Design
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
John S. Gero
ENTCS
2008
120views more  ENTCS 2008»
14 years 10 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
ISOLA
2010
Springer
14 years 8 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...
PSSE
2004
Springer
15 years 4 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan