5326 search results - page 129 / 1066 » On what we can ensure |
145
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Interconnection of several hybrid input-to-state stable (ISS) systems is considered in this paper. We ask under what condition is such an interconnection stable and how an ISS-...
202
click to vote
CONTENT
2001
Springer
15 years 11 months ago
2001
Springer
This paper looks at existing computer games and virtual environments from the perspective of film theory and practice. From this, we will draw conclusions about the ways in which ...
157
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Electronic mail offers the promise of rapid communication of essential information. However, electronic mail is also used to send unwanted messages. A variety of approaches can le...
181
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
155
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....