Sciweavers

255 search results - page 24 / 51
» jucs 2006
Sort
View
JUCS
2010
133views more  JUCS 2010»
14 years 8 months ago
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
Andrés Muñoz Ortega, Jose M. Alcaraz...
JUCS
2006
137views more  JUCS 2006»
14 years 10 months ago
Progress in Quantum Computational Cryptography
: Shor's algorithms for the integer factorization and the discrete logarithm problems can be regarded as a negative effect of the quantum mechanism on publickey cryptography. ...
Akinori Kawachi, Takeshi Koshiba
JUCS
2006
138views more  JUCS 2006»
14 years 10 months ago
Analysing Data of Childhood Acute Lymphoid Leukaemia by Seasonal Time Series Methods
: We examined the periodicity of the childhood leukaemia in Hungary using seasonal decomposition time series. Between 1988 and 2000 the number of annually diagnosed leukaemia (inci...
Maria Fazekas
92
Voted
JUCS
2006
104views more  JUCS 2006»
14 years 10 months ago
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
Jaime Sánchez-Hernández
85
Voted
JUCS
2006
126views more  JUCS 2006»
14 years 10 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins