4325 search results - page 264 / 865 » Incremental computation with names |
152
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
179
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without interpenetration. Using these algorithms, a model...
160
click to vote
ICPPW
2005
IEEE
16 years 7 days ago
2005
IEEE
In the conventional WWW search or P2P file sharing systems, users search for some information by using the Explicit Information such as keywords, addresses or content names. Howev...
173
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we propose and investigate a new user scenario for face annotation, in which users are allowed to multi-select a group of photographs and assign names to these phot...
194
click to vote
COLING
2010
2010
Recognizing Medication related Entities in Hospital Discharge Summaries using Support Vector Machine
15 years 1 months ago
Due to the lack of annotated data sets, there are few studies on machine learning based approaches to extract named entities (NEs) in clinical text. The 2009 i2b2 NLP challenge is...