Sciweavers

1187 search results - page 188 / 238
» Unsupervised Natural Language Processing Using Graph Models
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
14 years 4 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
FDL
2006
IEEE
14 years 4 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
FDL
2005
IEEE
14 years 3 months ago
Formal Evaluation of Quality of Service for Data Acquisition
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
Hedia B. Ben, F. Jumel, Jean-Philippe Babau
ISNN
2005
Springer
14 years 3 months ago
Self-organizing Map Analysis of Conceptual and Semantic Relations for Noun
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...
Minghu Jiang, Chengqing Zong, Beixing Deng
NLDB
2004
Springer
14 years 3 months ago
Concept Indexing for Automated Text Categorization
In this paper we explore the potential of concept indexing with WordNet synsets for Text Categorization, in comparison with the traditional bag of words text representation model. ...
José María Gómez Hidalgo, Jos...