4166 search results - page 531 / 834 » Automating the constraining process |
227
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
171
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
147
Voted
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
170
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
One of the grand challenges of AI is to build systems that learn by reading. The ideal system would construct a rich knowledge base capable of automated reasoning. We have built a...
167
Voted
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
RFID are used to identify products in factory automation applications; Multi agent systems are a possibility to introduce flexibility into production processes. This article intro...