4902 search results - page 376 / 981 » Multi-agent Systems Methodology |
164
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
216
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
212
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...
195
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
209
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...