Sciweavers

6413 search results - page 106 / 1283
» Classes of cycle bases
Sort
View
AUSAI
2008
Springer
15 years 8 months ago
Discriminating Against New Classes: One-class versus Multi-class Classification
Many applications require the ability to identify data that is anomalous with respect to a target group of observations, in the sense of belonging to a new, previously unseen `atta...
Kathryn Hempstalk, Eibe Frank
UML
2005
Springer
15 years 11 months ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
KBSE
2003
IEEE
15 years 11 months ago
XRay Views: Understanding the Internals of Classes
Understanding the internal workings of classes is a key prerequisite to maintaining an object-oriented software system. Unfortunately, classical editing and browsing tools offer m...
Gabriela Arévalo, Stéphane Ducasse, ...
MOC
2002
90views more  MOC 2002»
15 years 5 months ago
Explicit bounds and heuristics on class numbers in hyperelliptic function fields
Abstract. In this paper, we provide tight estimates for the divisor class number of hyperelliptic function fields. We extend the existing methods to any hyperelliptic function fiel...
Andreas Stein, Edlyn Teske
FASE
2010
Springer
16 years 21 days ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller