1959 search results - page 117 / 392 » Concerned About Separation |
121
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
130
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper examines various aspects of "openness" in research, and seeks to gauge the degree to which escience is congruent with "open science." Norms and prac...
123
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...
126
click to vote
AIMSA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Decision trees are considered as an efficient technique to express classification knowledge and to use it. However, their most standard algorithms do not deal with uncert...
120
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Testing embedded memories is becoming an industry-wide concern with the advent of deep-submicron technology and system-on-chip applications. We present a prototype chip for a progr...