222 search results - page 35 / 45 » Discounting the Future in Systems Theory |
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Studies have shown that deception in the hiring process is common. Since more people are using computer mediated communication for job interviewing, it is important to understand ...
MM
2005
ACM
15 years 3 months ago
2005
ACM
The concept of “SmallConnection (abbr. SC)” is creating easy to operate tangible media for communication over networks. Focusing on the scenario where two intimate people live...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
BCSHCI
2007
14 years 11 months ago
2007
An important part of an interaction designer’s work is meeting with clients during design sessions. It is of great importance that the designers participate in establishing some...