608 search results - page 75 / 122 » Tests, Proofs and Refinements |
114
Voted
DSVIS
2008
Springer
15 years 2 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
116
Voted
AAAI
2006
15 years 1 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
123
click to vote
BMCBI
2006
15 years 18 days ago
2006
Background: The accuracy of protein secondary structure prediction has been improving steadily towards the 88% estimated theoretical limit. There are two types of prediction algor...
112
Voted
PAMI
2007
15 years 1 days ago
2007
—Our goal is an automated 2D-image-pair registration algorithm capable of aligning images taken of a wide variety of natural and man-made scenes as well as many medical images. T...
122
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: Identification of discourse relations, such as causal and contrastive relations, between situations mentioned in text is an important task for biomedical text-mining. ...