Sciweavers

1648 search results - page 58 / 330
» Structuring namespace descriptions
Sort
View
121
Voted
SYNTHESE
2008
81views more  SYNTHESE 2008»
15 years 2 months ago
The inclosure scheme and the solution to the paradoxes of self-reference
All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully ident...
Jordi Valor Abad
123
Voted
ALT
2004
Springer
16 years 12 days ago
Hidden Markov Modelling Techniques for Haplotype Analysis
Abstract. A hidden Markov model is introduced for descriptive modelling the mosaic–like structures of haplotypes, due to iterated recombinations within a population. Methods usin...
Mikko Koivisto, Teemu Kivioja, Heikki Mannila, Pas...
121
Voted
PDPTA
2000
15 years 4 months ago
On Using the UML to Describe the MASC Model of Parallel Computation
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...
Michael Scherger, Johnnie Potter, Jerry W. Baker
129
Voted
MICS
2010
112views more  MICS 2010»
15 years 1 months ago
Traces of the Group Law on the Kummer Surface of a Curve of Genus 2 in Characteristic 2
In the early 1990s, Flynn gave an explicit description of the Jacobian of a genus 2 hyperelliptic curve to perform efficient arithmetic on these objects. In this paper, we give a ...
Sylvain Duquesne
113
Voted
ICAIL
1995
ACM
15 years 7 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan