Sciweavers

21319 search results - page 3920 / 4264
» An Approach for Method Reengineering
Sort
View
FCA
2005
Springer
207views Formal Methods» more  FCA 2005»
16 years 7 days ago
From Formal Concept Analysis to Contextual Logic
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
Frithjof Dau, Julia Klinger
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
16 years 7 days ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
FOSSACS
2005
Springer
16 years 7 days ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
16 years 7 days ago
Mission planning for joint suppression of enemy air defenses using a genetic algorithm
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...
Jeffrey P. Ridder, Jason C. HandUber
GFKL
2005
Springer
117views Data Mining» more  GFKL 2005»
16 years 7 days ago
A Cross-cultural Evaluation Framework for Behavioral Biometric User Authentication
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...
Franziska Wolf, T. K. Basu, Pranab K. Dutta, Claus...
« Prev « First page 3920 / 4264 Last » Next »