1306 search results - page 174 / 262 » A Diagrammatic Approach to Model Completion |
167
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
188
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
167
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
184
click to vote
APSEC
2008
IEEE
16 years 27 days ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
157
click to vote
HPDC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...