3047 search results - page 359 / 610 » On the Meaning of Logical Completeness |
106
click to vote
FGR
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper, we consider the problem of robust localization of faces and some of their facial features. The task arises e.g. in the medical field of visual analysis of facial p...
ASM
2000
ASM
15 years 3 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
BIRTHDAY
2000
Springer
15 years 3 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
ACSAC
1999
IEEE
15 years 3 months ago
1999
IEEE
Recently, application-level isolation was introduced as an effective means of containing the damage that a suspicious user could inflict on data. In most cases, only a subset of t...
GECCO
1999
Springer
15 years 3 months ago
1999
Springer
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...