7213 search results - page 207 / 1443 » Automated model grouping |
119
Voted
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Side actions contribute to mold cost by resulting in an additional manufacturing and assembly cost as well as by increasing the molding cycle time. Therefore, generating shapes of ...
263
click to vote
MICCAI
2010
Springer
15 years 10 months ago
2010
Springer
While there has been substantial progress in segmenting natural im-
ages, state-of-the-art methods that perform well in such tasks unfortunately tend
to underperform ...
143
Voted
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
129
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Detecting objects of interest from a video sequence is a fundamental and critical task in automated visual surveillance. Those objects can either be moving or stationary. However,...
127
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...