Sciweavers

3318 search results - page 591 / 664
» The Weak Instance Model
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
13 years 10 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
IJCIA
2002
137views more  IJCIA 2002»
13 years 10 months ago
Co-Evolution in Social Interactions
An interesting problem which has been widely investigated is under what circumstances will a society of rational agents realize some particular stable situations, and whether they ...
Hiroshi Sato, Akira Namatame
IJCV
2002
219views more  IJCV 2002»
13 years 10 months ago
View-Invariant Representation and Recognition of Actions
Analysis of human perception of motion shows that information for representing the motion is obtained from the dramatic changes in the speed and direction of the trajectory. In thi...
Cen Rao, Alper Yilmaz, Mubarak Shah
TMI
1998
91views more  TMI 1998»
13 years 10 months ago
A Vision-Based Technique for Objective Assessment of Burn Scars
—In this paper a method for the objective assessment of burn scars is proposed. The quantitative measures developed in this research provide an objective way to calculate elastic...
Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar, ...
TC
2002
13 years 10 months ago
Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks
We present novel grid coverage strategies for effective surveillance and target location in distributed sensor networks. We represent the sensor field as a grid (two or three-dimen...
Krishnendu Chakrabarty, S. Sitharama Iyengar, Hair...