7820 search results - page 389 / 1564 » Formalization of Time and Space |
188
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
153
click to vote
ACL
2001
15 years 9 months ago
2001
The theoretical study of the range concatenation grammar [RCG] formalism has revealed many attractive properties which may be used in NLP. In particular, range concatenation langu...
208
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Recreating the temporal illumination variations of natural scenes has great potential for realistic synthesis of video sequences. In this paper, we present a 3D (model-based) appr...
248
click to vote
VIS
2008
IEEE
16 years 8 months ago
2008
IEEE
The ability to identify and present the most essential aspects of time-varying data is critically important in many areas of science and engineering. This paper introduces an impor...
184
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...