4460 search results - page 668 / 892 » Formal methods for interactive systems |
184
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
In recent years the popularity of music and rhythm-based games has experienced tremendous growth. However almost all of these games require custom hardware to be used as input dev...
140
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...
128
click to vote
CHIMIT
2007
ACM
15 years 8 months ago
2007
ACM
Network-centricity is a concept under consideration as a useful paradigm for complex organizational operations, combining the strengths of bureaucracy with the innovative possibil...
144
click to vote
DT
2000
15 years 4 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
159
click to vote
OIR
2010
15 years 3 months ago
2010
Purpose – The purpose of this paper is to examine the integration of digital library (DL) technologies with ontology-based knowledge representation in providing semantic rich in...