8828 search results - page 284 / 1766 » Formal methods in practice |
167
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The question of how a circle or line segment becomes covered when random arcs are marked off has arisen repeatedly in bioinformatics. The number of uncovered gaps is o...
156
click to vote
RT
2005
Springer
16 years 4 days ago
2005
Springer
We apply simplified image-based lighting methods to reduce the equipment, cost, time, and specialized skills required for high-quality photographic lighting of desktop-sized stat...
202
click to vote
TKDE
2012
13 years 9 months ago
2012
Feature selection is fundamental to knowledge discovery from massive amount of high-dimensional data. In an effort to establish theoretical justification for feature selection al...
201
click to vote
AGTIVE
2007
Springer
16 years 26 days ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
206
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...