Sciweavers

3856 search results - page 244 / 772
» Models for Automated Earthmoving
Sort
View
ASP
2005
Springer
16 years 6 days ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
CP
2005
Springer
16 years 5 days ago
Modeling Constraint Programs with Software Technology Standards
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Matthias Hoche, Stefan Jähnichen
EMSOFT
2003
Springer
15 years 12 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
COOPIS
2002
IEEE
15 years 11 months ago
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
Boris Motik, Alexander Maedche, Raphael Volz
WSC
2007
15 years 9 months ago
Improved simple simulation models for semiconductor wafer factories
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...
Oliver Rose