6756 search results - page 1263 / 1352 » The Structure of Visual Spaces |
128
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
146
click to vote
AAECC
2001
Springer
15 years 9 months ago
2001
Springer
A projective multiset is a collection of projective points, which are not necessarily distinct. A linear code can be represented as a projective multiset, by taking the columns of ...
152
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
130
click to vote
DIGITALCITIES
2001
Springer
15 years 9 months ago
2001
Springer
Much thinking about digital cities is in terms of community groups. Yet, the world is composed of social networks and not of groups. This paper traces how communities have changed ...
162
click to vote
ISRR
2001
Springer
15 years 9 months ago
2001
Springer
A new field of robotics is emerging. Robots are today moving towards applications beyond the structured environment of a manufacturing plant. They are making their way into the e...