882 search results - page 20 / 177 » Improving the Efficiency of Workflow Analysis |
CAV
2004
Springer
15 years 1 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates improvements of an online handwriting stroke-order analysis algorithm -- cube search, based on cube graph stroke-order generation model and dynamic program...
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
: This paper describes the architecture and services developed by the GRANI project for the Australian Nanostructural Analysis Network Organization (NANO). The aim of GRANI was to ...
101
click to vote
DILS
2007
Springer
14 years 11 months ago
2007
Springer
The success of mass spectrometry-based proteomics in emerging applications such as biomarker discovery and clinical diagnostics, is predicated substantially on its ability to achie...
PIMRC
2010
IEEE
14 years 7 months ago
2010
IEEE
Multihop and multipoint transmissions are two of the main features towards an increased spectral efficiency for the LTE-Advanced mobile radio system. Fixed wireless relays with in-...