1948 search results - page 110 / 390 » Formalizing Mirror Theory |
155
click to vote
XSYM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
135
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
149
click to vote
BIBE
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose the use of formal ontological inferencing, rather than cladistics, to reconstruct phylogeny trees and to analyze the evolutionary relationships between species. For this...
141
click to vote
INFORMATICALT
2000
15 years 5 months ago
2000
This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition fo...
147
click to vote
ENTCS
2002
15 years 5 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...