10271 search results - page 1600 / 2055 » Computer Science |
212
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
184
click to vote
SBACPAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Bioinformatics is among the most active research areas in computer science. In this study, we investigate a suite of workloads in bioinformatics on two multiprocessor systems with...
182
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
209
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
211
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...