22121 search results - page 323 / 4425 » Modeling annotated data |
JAR
2006
14 years 11 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
ENTCS
2007
14 years 11 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
NAR
2008
14 years 11 months ago
2008
Understanding how genetic variation affects the molecular function of gene products is an emergent area of bioinformatic research. Here, we present updates to MutDB (http://www.mu...
104
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Facial attributes such as gender, race, age, hair style, etc., carry rich information for locating designated persons and profiling the communities from image/video collections (...
WWW
2009
ACM
15 years 12 months ago
2009
ACM
There are many on-line settings in which users publicly express opinions. A number of these offer mechanisms for other users to evaluate these opinions; a canonical example is Ama...