4084 search results - page 32 / 817 » Constraints in spatial structures |
IWANN
2009
Springer
15 years 6 months ago
2009
Springer
The examination of straightforwardly definable discrete structures in nucleic acids and proteins turned out to be perhaps the most important development in our present knowledge a...
EKNOW
2009
14 years 9 months ago
2009
For decades hypertext has provided a means for structuring information. Versioning has been perceived as very important for hypertext, but research focusing on it has targeted alm...
FCCM
2003
IEEE
15 years 5 months ago
2003
IEEE
FPGAs have appealing features such as customizable internal and external bandwidth and the ability to exploit vast amounts of fine-grain parallelism. In this paper we explore the ...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The paper presents the position analysis of a spatial structure composed of two platforms mutually connected by one RRP and three SS serial kinematic chains, where R, P, and S sta...
FSTTCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...