4036 search results - page 592 / 808 » Formal Methods |
140
click to vote
VC
2010
15 years 4 months ago
2010
Abstract Digital holography is a technology with a potential to provide realistic 3D images. However, generation of digital holograms is a computationally demanding task. Thus, the...
213
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
In the realm of multilabel classification (MLC), it has become an opinio communis that optimal predictive performance can only be achieved by learners that explicitly take label d...
179
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Today's world is characterized by the multiplicity of interconnections through many types of links between the people, that is why mining social networks appears to be an impo...
188
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
181
click to vote
BCB
2010
15 years 1 months ago
2010
In this paper we present a method for flexible protein structure alignment based on elastic shape analysis of backbones, in a manner that can incorporate different characteristics...