2786 search results - page 504 / 558 » A Practical Technique for Process Abstraction |
101
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
139
click to vote
CIRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—In classical image classification approaches, lowlevel features have been used. But the high dimensionality of feature spaces poses a challenge in terms of feature selec...
ACIVS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Most existing feature-point matching algorithms rely on photometric region descriptors to distinct and match feature points in two images. In this paper, we propose an eï...
116
click to vote
RAID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
GLOBECOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— For a multiple-input single-output (MISO) downlink channel with ¢ transmit antennas, it has been recently proved that zero-forcing beamforming (ZFBF) to a subset of (a...