3424 search results - page 370 / 685 » Building Diverse Computer Systems |
124
Voted
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
148
Voted
BMVC
2010
15 years 1 months ago
2010
We introduce a novel person identification method for a surveillance system of much wider area than conventional systems using CCTV cameras. In the proposed system, we install cam...
107
Voted
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
169
Voted
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
Do computer simulation games display emergent behavior? Are they models of complex systems or ‘life’ systems? This paper aims to explore and investigate how games studies can ...
137
Voted
GPC
2008
Springer
15 years 4 months ago
2008
Springer
Virtual Organizations require infrastructure that meets their scientific needs. Traditionally, a VO can require access to computational backends that are suited for interactive app...