3765 search results - page 711 / 753 » Formal Methods for Systems Engineering Behavior Models |
149
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
110
click to vote
IISWC
2008
IEEE
15 years 8 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
121
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
122
click to vote
MMMACNS
2005
Springer
15 years 7 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
156
click to vote
SG
2005
Springer
15 years 7 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...