Sciweavers

1063 search results - page 135 / 213
» Order and Negation as Failure
Sort
View
123
Voted
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 4 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
GOSLER
1995
15 years 4 months ago
A Guided Tour Across the Boundaries of Learning Recursive Languages
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...
Thomas Zeugmann, Steffen Lange
123
Voted
LREC
2010
178views Education» more  LREC 2010»
15 years 2 months ago
Data Issues in English-to-Hindi Machine Translation
Statistical machine translation to morphologically richer languages is a challenging task and more so if the source and target languages differ in word order. Current state-of-the...
Ondrej Bojar, Pavel Stranák, Daniel Zeman
120
Voted
IRCDL
2008
15 years 2 months ago
A New Machine Learning Based Approach for Sentiment Classification of Italian documents
Several sites allow users to publish personal reviews about products and services available on the market. In this paper, we consider the problem of applying classification techniq...
Paolo Casoto, Antonina Dattolo, Paolo Omero, Nirma...
133
Voted
IMECS
2007
15 years 2 months ago
Investigation for Designing of Context-Aware Recommendation System Using SVM
Abstract Previously, we have proposed two recommendation systems, the Context-aware Information Filtering (C-IF) and Context-aware Collaborative Filtering (C-CF), both of which ar...
Kenta Oku, Shinsuke Nakajima, Jun Miyazaki, Shunsu...