Sciweavers

3280 search results - page 205 / 656
» Design Families and Design Individuals
Sort
View
TABLEAUX
2005
Springer
16 years 5 days ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
WDAG
2005
Springer
92views Algorithms» more  WDAG 2005»
16 years 5 days ago
Plausible Clocks with Bounded Inaccuracy
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
Brad T. Moore, Paolo A. G. Sivilotti
145
Voted
FSE
2010
Springer
132views Cryptology» more  FSE 2010»
15 years 11 months ago
Rebound Attack on Reduced-Round Versions of JH
Abstract. JH, designed by Wu, is one of the 14 second round candidates in the NIST Hash Competition. This paper presents the first analysis results of JH by using rebound attack. ...
Vincent Rijmen, Deniz Toz, Kerem Varici
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 11 months ago
Risk sensitive robust support vector machines
— We propose a new family of classification algorithms in the spirit of support vector machines, that builds in non-conservative protection to noise and controls overfitting. O...
Huan Xu, Constantine Caramanis, Shie Mannor, Sungh...
169
Voted
UML
2001
Springer
15 years 11 months ago
An Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
José M. Álvarez, Tony Clark, Andy Ev...