Sciweavers

1715 search results - page 181 / 343
» How Space Structures Language
Sort
View
120
Voted
ICTAI
1994
IEEE
15 years 7 months ago
Tooling the Lexicon Acquisition Process for Large-Scale KBMT
Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntacti...
John R. R. Leavitt, Deryle W. Lonsdale, Kevin Keck...
FIW
1998
104views Communications» more  FIW 1998»
15 years 4 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
ENTCS
2006
184views more  ENTCS 2006»
15 years 3 months ago
Scannerless Boolean Parsing
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
Adam Megacz
TCS
2008
15 years 3 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...
IR
2000
15 years 3 months ago
Content-Based Image Retrieval in Astronomy
Content-based image retrieval in astronomy needs methods that can deal with an image content made of noisy and diffuse structures. This motivates investigations on how information ...
André Csillaghy, Hans Hinterberger, A. O. B...