1301 search results - page 140 / 261 » Specifications via Realizability |
142
Voted
ISF
2007
15 years 3 months ago
2007
Abstract This paper addresses the specification of a security policy ontology framework to mediate security policies between virtual organizations (VO) and real organizations (RO)....
136
Voted
JLP
2000
15 years 3 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
101
Voted
ETS
2002
IEEE
15 years 3 months ago
2002
IEEE
This article presents an overview of selected general delivery options (e.g., videoconferencing, online learning, etc.) and specific software applications for developing and deliv...
119
Voted
NN
2002
Springer
15 years 3 months ago
2002
Springer
We present a model for the attentional neuromodulation of decision and selection processes. The model assumes that phasic responses in the brain nucleus Locus Coeruleus modulate, ...
145
Voted
HCI
2009
15 years 1 months ago
2009
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...