Sciweavers

2132 search results - page 90 / 427
» The Challenges of Automatic Summarization
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 2 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
DSN
2007
IEEE
14 years 26 days ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
CIMAGING
2010
163views Hardware» more  CIMAGING 2010»
13 years 10 months ago
Automatic portion estimation and visual refinement in mobile dietary assessment
As concern for obesity grows, the need for automated and accurate methods to monitor nutrient intake becomes essential as dietary intake provides a valuable basis for managing die...
Insoo Woo, Karl Ostmo, SungYe Kim, David S. Ebert,...
LREC
2010
166views Education» more  LREC 2010»
13 years 10 months ago
Corpora for Automatically Learning to Map Natural Language Questions into SQL Queries
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
Alessandra Giordani, Alessandro Moschitti
LREC
2010
177views Education» more  LREC 2010»
13 years 10 months ago
Automatic Discovery of Semantic Relations using MindNet
Information extraction deals with extracting entities (such as people,organizations or locations) and named relations between entities (such as "People born-in Country")...
Zareen Syed, Evelyne Viegas, Savas Parastatidis