Sciweavers

3527 search results - page 137 / 706
» Test Automation in Practice
Sort
View
ICIP
2007
IEEE
15 years 4 months ago
Automated Solder Inspection Method by Means of X-ray Oblique Computed Tomography
High-density LSI packages such as ball grid array (BGA) are being utilised in the car electronics and communications infrastructure products. These products require a high-speed a...
Atsushi Teramoto, Takayuki Murakoshi, Masatoshi Ts...
BNCOD
2007
103views Database» more  BNCOD 2007»
14 years 11 months ago
Automation Everywhere: Autonomics and Data Management
Traditionally, database management systems (DBMSs) have been associated with high-cost, high-quality functionalities. That is, powerful capabilities are provided, but only in respo...
Norman W. Paton
CEC
2010
IEEE
14 years 11 months ago
Classifier-assisted constrained evolutionary optimization for automated geometry selection of orthodontic retraction spring
In orthodontics, retraction springs made of metallic wires are often used to move a tooth with respect to another by the virtue of the spring back effect. Specially selected form o...
Dudy Lim, Yew-Soon Ong, Rachman Setiawan, Muhammad...
85
Voted
IJCIM
2002
99views more  IJCIM 2002»
14 years 10 months ago
A distributed, event-driven control architecture for flexibly automated manufacturing systems
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bod...
ICFEM
2010
Springer
14 years 8 months ago
Automating Coinduction with Case Analysis
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu