Sciweavers

60 search results - page 6 / 12
» The Relevance of Non-generic Events in Scale Space Models
Sort
View
ASWEC
2001
IEEE
15 years 2 months ago
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
Cyrille Artho, Armin Biere
MM
2004
ACM
127views Multimedia» more  MM 2004»
15 years 4 months ago
Designing public spaces for democratic stories
We argue that civic discourse can also be public storytelling and propose three reasons to consider this relationship: stories’ relational nature – their ability to represent ...
Mike Ananny, Carol Strohecker
112
Voted
CONCUR
1999
Springer
15 years 3 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
SIAMIS
2011
14 years 5 months ago
A New Geometric Metric in the Space of Curves, and Applications to Tracking Deforming Objects by Prediction and Filtering
We define a novel metric on the space of closed planar curves which decomposes into three intuitive components. According to this metric centroid translations, scale changes and ...
Ganesh Sundaramoorthi, Andrea Mennucci, Stefano So...
JGS
2002
91views more  JGS 2002»
14 years 10 months ago
Toward micro-scale spatial modeling of gentrification
A simple preliminary model of gentrification is presented. The model is based on an irregular cellular automaton architecture drawing on the concept of proximal space, which is wel...
David O'Sullivan