4460 search results - page 176 / 892 » Formal methods for interactive systems |
147
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
178
click to vote
VISUALIZATION
1999
IEEE
15 years 8 months ago
1999
IEEE
We present an interactive navigation system for virtual colonoscopy, which is based solely on high performance volume rendering. Previous colonic navigation systems have employed ...
173
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
137
Voted
ICMLC
2005
Springer
15 years 9 months ago
2005
Springer
A novel method of Interactive Evolutionary Computation (IEC) for the design of microelectromechanical systems (MEMS) is presented. As the main limitation of IEC is human fatigue, a...
145
click to vote
IJAMC
2010
15 years 2 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...