2774 search results - page 389 / 555 » Exploiting Deep Structure |
155
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
In this paper, we present CONTRAlign, an extensible and fully automatic framework for parameter learning and protein pairwise sequence alignment using pair conditional random field...
189
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
257
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
169
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
Segmentation of 3D human body is a very challenging problem in applications exploiting human scan data. To tackle this problem, this paper proposes a topological approach based on...
146
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...