6020 search results - page 113 / 1204 » A New Approach to Model Counting |
130
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
126
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Trust, the fundamental basis of ‘cooperation’ – one of the most important characteristics for the performance of pervasive ad hoc network-- is under serious threat with the ...
160
click to vote
LION
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classi cation are based on Blosum, P...
155
click to vote
SMI
2010
IEEE
15 years 1 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
124
click to vote
TSMC
2010
14 years 10 months ago
2010
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...