Sciweavers

2043 search results - page 50 / 409
» A convenient category of domains
Sort
View
FLAIRS
2007
15 years 2 days ago
Discourse Automatic Annotation of Texts: An Application to Summarization
The exploitation of the discourse structure of a text and the identification of the discourse categories are essential elements for the automatic summarization, as well as for the...
Antoine Blais, Iana Atanassova, Jean-Pierre Descl&...
MM
2005
ACM
96views Multimedia» more  MM 2005»
15 years 3 months ago
Office blogger
The Office Blogger (OBlog) is an experimental prototype of a multimedia appliance that allows an office worker to easily record events, conversations, meetings, pictures and docum...
Berna Erol, Jonathan J. Hull
ICFP
2012
ACM
13 years 4 days ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
BMCBI
2010
112views more  BMCBI 2010»
14 years 9 months ago
PhenoFam-gene set enrichment analysis through protein structural information
Background: With the current technological advances in high-throughput biology, the necessity to develop tools that help to analyse the massive amount of data being generated is e...
Maciej Paszkowski-Rogacz, Mikolaj Slabicki, M. Ter...
GECCO
2007
Springer
158views Optimization» more  GECCO 2007»
15 years 3 months ago
Continuous lunches are free!
This paper investigates extensions of No Free Lunch (NFL) theorems to countably infinite and uncountable infinite domains. The original NFL due to Wolpert and Macready states th...
Anne Auger, Olivier Teytaud