5066 search results - page 607 / 1014 » Spectra of structures and relations |
160
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
The hierarchy of untimed equivalences is well understood for action-based systems. This is not the case for timed systems, where it is, for example, possible to detect concurrency ...
167
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
: The analysis of small circular sequences requires specialized tools. While the differences between linear and circular sequences can be neglected in the case of long molecules su...
161
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
The purpose of this paper is two fold. Firstly, to inform the Australian software engineering community of the European Fifth Framework research structure and the involvement of a...
189
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
The relations among graphical representations, computer functionality, and everyday objects are more complex than terms like “the desktop metaphor” may suggest. While metaphor...
187
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
The field of information retrieval has traditionallyfocused on s consistingof titlesand abstracts. As a consequence, many underlying assumptions must be altered for retrieval fro...