4233 search results - page 595 / 847 » Three Paths to Effectiveness |
169
click to vote
WWW
2005
ACM
16 years 6 days ago
2005
ACM
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
181
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
206
Voted
CIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, we present a novel multi-stage algorithm for 3D medical image segmentation that is inspired by an improved Fast Marching method and a morphological reconst...
169
click to vote
ECAL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
199
click to vote
EUROSPI
2005
Springer
16 years 5 days ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...