Sciweavers

3394 search results - page 274 / 679
» Regular Object Types
Sort
View
TREC
2003
15 years 8 months ago
Improving the Robustness of Language Models - UIUC TREC 2003 Robust and Genomics Experiments
In this paper, we report our experiments in the TREC 2003 Genomics Track and the Robust Track. A common theme that we explored is the robustness of a basic language modeling retri...
ChengXiang Zhai, Tao Tao, Hui Fang, Zhidi Shang
BC
2008
86views more  BC 2008»
15 years 6 months ago
Firing patterns in the adaptive exponential integrate-and-fire model
For simulations of large spiking neuron networks, an accurate, simple and versatile single-neuron modeling framework is required. Here we explore the versatility of a simple two-eq...
Richard Naud, Nicolas Marcille, Claudia Clopath, W...
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
15 years 6 months ago
On the Complexity of Verifying Consistency of XML Specifications
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
Marcelo Arenas, Wenfei Fan, Leonid Libkin
TCS
2008
15 years 6 months ago
Extending FeatherTrait Java with Interfaces
In the context of Featherweight Java by Igarashi, Pierce, and Wadler, and its recent extension FeatherTrait Java (FTJ) by the authors, we investigate classes that can be extended ...
Luigi Liquori, Arnaud Spiwack
JALC
2007
109views more  JALC 2007»
15 years 6 months ago
A Family of NFAs Free of State Reductions
Merging states in finite automata is a main method of reducing the size of the representation of regular languages. The process has been extensively studied for deterministic fi...
Cezar Câmpeanu, Nicolae Santean, Sheng Yu