Sciweavers

2705 search results - page 510 / 541
» Formal Ontology for Subject
Sort
View
ELPUB
1998
ACM
13 years 12 months ago
Issues in Electronic Publishing on the Medieval Slavic and Byzantine World
This paper presents the experience gained in work on two current Bulgarian projects aiming at the development of electronic resources for South-East European Studies, Slavic studi...
Milena Dobreva, Serguey Ivanov
POPL
1998
ACM
13 years 12 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...
SIGGRAPH
1997
ACM
13 years 12 months ago
Moving objects in space: exploiting proprioception in virtual-environment interaction
Manipulation in immersive virtual environments is difficult partly because users must do without the haptic contact with real objects they rely on in the real world to orient them...
Mark R. Mine, Frederick P. Brooks Jr., Carlo H. S&...
EPS
1997
Springer
13 years 12 months ago
Modeling Speculators with Genetic Programming
In spirit of the earlier works done by Arthur (1992) and Palmer et al. (1993), this paper models speculators with genetic programming (GP) in a production economy (Muthian Economy)...
Shu-Heng Chen, Chia-Hsuan Yeh
STOC
2010
ACM
269views Algorithms» more  STOC 2010»
13 years 11 months ago
Approximations for the Isoperimetric and Spectral Profile of Graphs and Related Parameters
The spectral profile of a graph is a natural generalization of the classical notion of its Rayleigh quotient. Roughly speaking, given a graph G, for each 0 < < 1, the spect...
Prasad Raghavendra, David Steurer and Prasad Tetal...