Sciweavers

1715 search results - page 101 / 343
» How Space Structures Language
Sort
View
QSIC
2003
IEEE
15 years 9 months ago
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
Sirin Bekbay, Shaoying Liu
FINTAL
2006
15 years 7 months ago
Accommodating Multiword Expressions in an Arabic LFG Grammar
Multiword expressions (MWEs) vary in syntactic category, structure, the degree of semantic opaqueness, the ability of one or more constituents to undergo inflection and processes s...
Mohammed A. Attia
161
Voted
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 8 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
IUI
1999
ACM
15 years 8 months ago
Evaluating Adaptive Navigation Support
From the few evaluations of adaptive navigation systems that have been performed, we see an emerging pattern where depending upon the domain, only certain types of adaptive naviga...
Kristina Höök, Martin Svensson
COMGEO
2004
ACM
15 years 3 months ago
Kinetic collision detection between two simple polygons
We design a kinetic data structure for detecting collisions between two simple polygons in motion. In order to do so, we create a planar subdivision of the free space between the ...
Julien Basch, Jeff Erickson, Leonidas J. Guibas, J...