237 search results - page 42 / 48 » Modeling Mental States in Agent-Oriented Requirements Engine... |
183
click to vote
TCOM
2010
15 years 23 days ago
2010
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...
160
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
205
click to vote
ACIVS
2008
Springer
16 years 12 days ago
2008
Springer
Abstract. Crowd behavior recognition is becoming an important research topic in video surveillance for public places. In this paper, we first discuss the crowd feature selection a...
151
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
194
click to vote
CCECE
2009
IEEE
16 years 25 days ago
2009
IEEE
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...