3199 search results - page 63 / 640 » Variability in Automation System Models |
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...
IRI
2007
IEEE
14 years 3 months ago
2007
IEEE
User feedback is widely deployed in recent multimedia research to refine retrieval performance. However, most of the existing online learning algorithms handle interactions of a s...
ECBS
2006
IEEE
14 years 3 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
HCI
2009
13 years 6 months ago
2009
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...
ASE
2005
13 years 8 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...