Sciweavers

3378 search results - page 260 / 676
» A universe of binding and computation
Sort
View
AMAI
2000
Springer
15 years 6 months ago
The logic of events
An event space is a set of instantaneous events that vary both in time and specificity. The concept of an event space provides a foundation for a logical--i.e., modular and open-a...
Glenn Shafer, Peter R. Gillett, Richard B. Scherl
142
Voted
SIGCSE
2002
ACM
100views Education» more  SIGCSE 2002»
15 years 6 months ago
Women in CS and biology
Common departmental characteristics and practices in computer science and biology/life science are compared for 46 departments at 23 Virginia colleges and universities. The goal o...
Joanne McGrath Cohoon
STTT
2010
92views more  STTT 2010»
15 years 1 months ago
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
Andreas Bauer 0002, Martin Leucker, Christian Scha...
185
Voted
TVCG
2012
167views Hardware» more  TVCG 2012»
13 years 9 months ago
Wellformedness Properties in Euler Diagrams: Which Should Be Used?
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
Peter Rodgers, Leishi Zhang, Helen C. Purchase
208
Voted
ECCV
2006
Springer
16 years 8 months ago
Learning Compositional Categorization Models
Abstract. This contribution proposes a compositional approach to visual object categorization of scenes. Compositions are learned from the Caltech 101 database1 intermediate abstra...
Björn Ommer, Joachim M. Buhmann