2989 search results - page 170 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
GCC
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
NPL
1998
14 years 9 months ago
1998
Adaptive artificial neural network techniques are introduced and applied to the factorization of 2-D second order polynomials. The proposed neural network is trained using a const...
FM
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— The desire for a high mobility-to-size ratio in mobile robots has led to the exploration of many new methods of locomotion, one of which is tumbling. To the authors’ knowledg...
DBKDA
2009
IEEE
15 years 1 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...