10682 search results - page 446 / 2137 » A Graph Based Process Representation for Process Modeling |
241
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
243
click to vote
EACL
2006
ACL Anthology
15 years 9 months ago
2006
ACL Anthology
We propose a backoff model for phrasebased machine translation that translates unseen word forms in foreign-language text by hierarchical morphological abstractions at the word an...
232
click to vote
COLING
2010
15 years 2 months ago
2010
In this paper the development of an opinion summarization system that works on Bengali News corpus has been described. The system identifies the sentiment information in each docu...
235
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
207
click to vote
ITS
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...