7213 search results - page 207 / 1443 » Automated model grouping |
150
click to vote
GMP
2006
IEEE
16 years 18 days 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 ...
338
click to vote
MICCAI
2010
Springer
16 years 10 days 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 ...
186
click to vote
ACSD
2005
IEEE
16 years 5 days 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...
168
click to vote
ICMCS
2005
IEEE
16 years 4 days 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,...
158
click to vote
CAV
2005
Springer
16 years 2 days 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...