1127 search results - page 106 / 226 » Theory Extension in ACL2(r) |
144
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
201
click to vote
SACMAT
2009
ACM
16 years 27 days ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
144
click to vote
SIGDOC
2009
ACM
16 years 27 days ago
2009
ACM
In this paper we analyze the problem of “situating explanations” in user assistance systems. We introduce semantic transparency as a user interface property that enables givin...
174
click to vote
AVSS
2008
IEEE
16 years 26 days ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
168
click to vote
ICDCSW
2008
IEEE
16 years 25 days ago
2008
IEEE
Research on delay tolerant networks (DTNs) has brought about a plethora of routing algorithms targeted at networks with different mobility patterns. However, few research works ha...