Sciweavers

502 search results - page 77 / 101
» Visual Formalisms Revisited
Sort
View
FOSSACS
2001
Springer
14 years 6 days ago
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
Rémi Morin
FLAIRS
2008
13 years 10 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
TCBB
2008
137views more  TCBB 2008»
13 years 7 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
CVPR
2009
IEEE
15 years 2 months ago
On the Set of Images Modulo Viewpoint and Contrast Changes
We consider regions of images that exhibit smooth statistics, and pose the question of characterizing the “essence” of these regions that matters for visual recognition. Ideal...
Ganesh Sundaramoorthi (UCLA), Peter Petersen (UCLA...
CHI
2006
ACM
14 years 8 months ago
Using hybrid networks for the analysis of online software development communities
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
Yevgeniy Eugene Medynskiy, Nicolas Ducheneaut, Aym...