3994 search results - page 135 / 799 » A Linear Logical Framework |
165
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
178
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
139
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
131
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...