1115 search results - page 142 / 223 » Separating Shape Graphs |
144
click to vote
FUIN
2007
15 years 17 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
132
Voted
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
To keep a Graphical User Interface (GUI) responsive and active, a GUI application often has a main UI thread (or event dispatching thread) and spawns separate threads to handle le...
120
click to vote
ERCIMDL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...
107
click to vote
BMCBI
2010
15 years 22 days ago
2010
Background: Liquid chromatography-mass spectrometry (LC-MS) is one of the major techniques for the quantification of metabolites in complex biological samples. Peak modeling is on...
115
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
The instabilities of the medial axis of a shape under deformations have long been recognized as a major obstacle to its use in recognition and other applications. These instabilit...