11561 search results - page 2300 / 2313 » A Language for Biochemical Systems |
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
SIGIR
2008
ACM
2008
ACM
Multi-document summarization via sentence-level semantic analysis and symmetric matrix factorization
13 years 7 months ago
Multi-document summarization aims to create a compressed summary while retaining the main characteristics of the original set of documents. Many approaches use statistics and mach...
IJDE
2007
13 years 7 months ago
2007
Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...
SMA
2008
ACM
13 years 7 months ago
2008
ACM
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...