1990 search results - page 273 / 398 » Integrated Human Behavior Modeling |
129
Voted
ICFEM
2009
Springer
15 years 16 days ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
170
Voted
JOT
2008
15 years 2 months ago
2008
The purpose of this article is to provide a brief insight about how to link your business vision, goals, strategies, tactics as well as business rules according to BMM, then bridg...
123
Voted
CACM
1998
15 years 2 months ago
1998
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...
115
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
105
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
One often meets the argument that the adoption of mobile Internet services is difficult to understand due to a lack of relevant research. However, much research has already been c...