Result 1 to 17 of 17 total
A finite state intersection approach to propositional satisfiability. (English)
Theor. Comput. Sci. 450, 92-108 (2012).
1
Variable and clause ordering in an FSA approach to propositional satisfiability. (English)
Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 76-87 (2011).
2
Model identification for control of a distillation column (English)
LARC, 1-5 (2011).
3
Variable and clause ordering in an FSA approach to propositional satisfiability (English)
CIAA, 76-87 (2011).
4
Zaaps and ziips: Increasing the strategic value of system z. (English)
IBM J. Res. Dev. 51, No. 1-2, 77-86 (2007).
5
Tagging with delayed disambiguation (English)
FSMNLP, 285-287 (2005).
6
Global index grammars and descriptive power. (English)
J. Logic Lang. Inf. 13, No. 4, 403-419 (2004).
7
Representing temporal and event knowledge for QA systems (English)
New Directions in Question Answering, 99-112 (2004).
8
LR parsing for global index languages (GILs). (English)
Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16‒18, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40561-5/pbk). Lect. Notes Comput. Sci. 2759, 191-225 (2003).
9
GIGs: Restricted context-sensitive descriptive power in bounded polynomial-time. (English)
Gelbukh, Alexander (ed.), Computational linguistics and intelligent text processing. 4th international conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2588, 22-35 (2003).
10
On the applicability of global index grammars (English)
ACL (Companion), 15-22 (2003).
11
Timeml: robust specification of event and temporal expressions in text (English)
New Directions in Question Answering, 28-34 (2003).
12
LR parsing for global index languages (GILs) (English)
CIAA, 269-281 (2003).
13
Gigs: restricted context-sensitive descriptive power in bounded polynomial-time (English)
CICLing, 22-35 (2003).
14
Rerendering semantic ontologies: Automatic extensions to UMLS through corpus analytics. (English)
Comput. Res. Repos. 2002, Article No. 0209003 (2002).
15
Robust relational parsing over biomedical literature: extracting inhibit relations (English)
Pacific Symposium on Biocomputing, 362-373 (2002).
16
Medstract: creating large-scale information servers from biomedical texts (English)
ACL Workshop on Natural Language Processing in the Biomedical Domain, 85-92 (2002).
17
Result 1 to 17 of 17 total