Sciweavers

4743 search results - page 99 / 949
» The PlusCal Algorithm Language
Sort
View
IJIS
2008
83views more  IJIS 2008»
15 years 2 months ago
An algorithm for modelling key terms
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
D. Cai, C. J. van Rijsbergen
102
Voted
JCP
2008
121views more  JCP 2008»
15 years 2 months ago
Algorithms for Identifying the Multiple Syntactic Categories and Meanings of the Word Over
The word over, among others, is associated with a great variety of syntactic categories and meanings. Although over has received attention from scholars in different frameworks for...
Yukiko Sasaki Alam
124
Voted
CAV
2010
Springer
181views Hardware» more  CAV 2010»
15 years 6 months ago
Policy Monitoring in First-Order Temporal Logic
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
David A. Basin, Felix Klaedtke, Samuel Müller
JSYML
2000
66views more  JSYML 2000»
15 years 2 months ago
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-sem...
Ross Willard
FLAIRS
2006
15 years 3 months ago
Dialog Act Classification Using N-Gram Algorithms
Speech act classification remains one of the challenges in natural language processing. This paper evaluates a classification system that assigns one of twelve dialog acts to an u...
Max M. Louwerse, Scott A. Crossley