Sciweavers

CORR
2009
Springer
101views Education» more  CORR 2009»
13 years 5 months ago
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...
CORR
2009
Springer
60views Education» more  CORR 2009»
13 years 5 months ago
On Languages Accepted by P/T Systems Composed of joins
Pierluigi Frisco, Oscar H. Ibarra
CORR
2009
Springer
91views Education» more  CORR 2009»
13 years 5 months ago
On the Number of Membranes in Unary P Systems
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
Rudolf Freund, Andreas Klein, Martin Kutrib
CORR
2009
Springer
67views Education» more  CORR 2009»
13 years 5 months ago
On Measuring Non-Recursive Trade-Offs
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
Hermann Gruber, Markus Holzer, Martin Kutrib
CORR
2009
Springer
115views Education» more  CORR 2009»
13 years 5 months ago
Testing the Equivalence of Regular Languages
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...
Marco Almeida, Nelma Moreira, Rogério Reis
CORR
2009
Springer
99views Education» more  CORR 2009»
13 years 5 months ago
Quotient Complexity of Regular Languages
The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presente...
Janusz A. Brzozowski
TAICPART
2010
IEEE
125views Education» more  TAICPART 2010»
13 years 5 months ago
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models
Marko Kääramees, Jüri Vain, Kullo R...
LREC
2010
115views Education» more  LREC 2010»
13 years 5 months ago
Mining Naturally-occurring Corrections and Paraphrases from Wikipedia's Revision History
Naturally-occurring instances of linguistic phenomena are important both for training and for evaluating automatic text processing. When available in large quantities, they also p...
Aurélien Max, Guillaume Wisniewski
JCDL
2010
ACM
161views Education» more  JCDL 2010»
13 years 5 months ago
Search behaviors in different task types
Personalization of information retrieval tailors search towards individual users to meet their particular information needs by taking into account information about users and thei...
Jingjing Liu, Michael J. Cole, Chang Liu, Ralf Bie...