1247 search results - page 154 / 250 » Reasoning about Function Objects |
111
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
CRV
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
ACSD
2006
IEEE
14 years 11 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
FOAL
2008
ACM
14 years 11 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
BCSHCI
2009
14 years 11 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...