Sciweavers

1496 search results - page 211 / 300
» Introducing Speech and Language Processing
Sort
View
163
Voted
ICML
2010
IEEE
15 years 5 months ago
Continuous-Time Belief Propagation
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...
Tal El-Hay, Ido Cohn, Nir Friedman, Raz Kupferman
CONCUR
2009
Springer
15 years 10 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
FOAL
2007
ACM
15 years 8 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
CICLING
2008
Springer
15 years 6 months ago
A Distributed Database System for Developing Ontological and Lexical Resources in Harmony
In this article, we present the basic ideas of creating a new information-rich lexical database of Dutch, called Cornetto, that is interconnected with corresponding English synsets...
Ales Horák, Piek Vossen, Adam Rambousek
135
Voted
EMNLP
2009
15 years 1 months ago
Refining Grammars for Parsing with Hierarchical Semantic Knowledge
This paper proposes a novel method to refine the grammars in parsing by utilizing semantic knowledge from HowNet. Based on the hierarchical state-split approach, which can refine ...
Xiaojun Lin, Yang Fan, Meng Zhang, Xihong Wu, Huis...