2702 search results - page 60 / 541 » Practically Applicable Formal Methods |
134
Voted
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
119
Voted
SIAMJO
2010
15 years 20 days ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
127
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
The high replication cost of Byzantine fault-tolerance (BFT) methods has been a major barrier to their widespread adoption in commercial distributed applications. We present ZZ, a...
112
click to vote
ICIP
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to their ease of use and availability, pan-tilt-zoom (PTZ) cameras are everywhere. However, in order to utilize these cameras for a meaningful application, it is necessary tha...
137
click to vote
KI
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...