1715 search results - page 141 / 343 » How Space Structures Language |
155
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
EUSFLAT
2007
15 years 7 months ago
2007
The research in the field of the so called Fuzzy Mathematics can be conditionally devided into two mainstreams: the first one emphasizes on the study of different fuzzy structu...
172
click to vote
DCG
2007
15 years 6 months ago
2007
Scalar functions defined on a topological space Ω are at the core of many applications such as shape matching, visualization and physical simulations. Topological persistence i...
191
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
Our goal is to embed free-form constraints into a graphical model. With such constraints a graphic can maintain its visual integrity--and break rules tastefully--while being manip...
128
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...