2308 search results - page 360 / 462 » Representing Symbolic Reasoning |
181
click to vote
LICS
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
170
click to vote
SOFTVIS
2006
ACM
16 years 9 days ago
2006
ACM
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
180
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
156
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— Traceback mechanisms are a critical part of the defense against IP spoofing and DoS attacks, as well as being of forensic value to law enforcement. Currently proposed IP trace...
179
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...