Sciweavers

1033 search results - page 57 / 207
» Using Temporal Language Models for Document Dating
Sort
View
ACL
2000
14 years 11 months ago
Headline Generation Based on Statistical Translation
Extractive summarization techniques cannot generate document summaries shorter than a single sentence, something that is often required. An ideal summarization system would unders...
Michele Banko, Vibhu O. Mittal, Michael J. Witbroc...
DATE
1998
IEEE
73views Hardware» more  DATE 1998»
15 years 2 months ago
A Formal Description of VHDL-AMS Analogue Systems
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
Tom J. Kazmierski
KBSE
2005
IEEE
15 years 3 months ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...
ICADL
2007
Springer
147views Education» more  ICADL 2007»
15 years 4 months ago
Feature Reinforcement Approach to Poly-lingual Text Categorization
With the rapid emergence and proliferation of Internet and the trend of globalization, a tremendous amount of textual documents written in different languages are electronically ac...
Chih-Ping Wei, Huihua Shi, Christopher C. Yang
GECCO
2005
Springer
108views Optimization» more  GECCO 2005»
15 years 3 months ago
Evolving recurrent models using linear GP
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
Xiao Luo, Malcolm I. Heywood, A. Nur Zincir-Heywoo...