2989 search results - page 211 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
146
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
155
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: RNA structure prediction problem is a computationally complex task, especially with pseudo-knots. The problem is well-studied in existing literature and predominantly ...
90
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
106
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...