Sciweavers

31387 search results - page 363 / 6278
» Abstracts
Sort
View
MOZ
2004
Springer
16 years 6 days ago
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
1) the Warren’s Abstract Machine and (2) constraints on finite set.
Denys Duchier, Joseph Le Roux, Yannick Parmentier
TLCA
1997
Springer
15 years 11 months ago
Proof Nets, Garbage, and Computations
S TECHNICAL REPORT ABSTRACTS
Stefano Guerrini, Simone Martini, Andrea Masini
ISAAC
1995
Springer
122views Algorithms» more  ISAAC 1995»
15 years 10 months ago
Structure in Average Case Complexity
An extended abstract of this paper will be presented at the Sixth Annual International Symposium on Algorithms and Computation.
Christoph Karg, Rainer Schuler
PTS
2007
112views Hardware» more  PTS 2007»
15 years 8 months ago
Implementing Conformiq Qtronic
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
Antti Huima
IPCO
1996
92views Optimization» more  IPCO 1996»
15 years 8 months ago
Test Sets and Inequalities for Integer Programs
abstract Preprint SC-95-36 (Dezember 1995)
Rekha R. Thomas, Robert Weismantel