Sciweavers

1722 search results - page 31 / 345
» Dedication
Sort
View
AAECC
2007
Springer
111views Algorithms» more  AAECC 2007»
14 years 4 months ago
Inverted Edwards Coordinates
Abstract. Edwards curves have attracted great interest for several reasons. When curve parameters are chosen properly, the addition formulas use only 10M + 1S. The formulas are str...
Daniel J. Bernstein, Tanja Lange
OTM
2005
Springer
14 years 3 months ago
Expressing Preferences in a Viewpoint Ontology
This paper proposes a definition of viewpoints in a “kind of” ontology. The use of viewpoints allows one to simplify user interface and to facilitate the expression of user pr...
Rallou Thomopoulos
BIRTHDAY
2003
Springer
14 years 3 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
GW
2003
Springer
111views Biometrics» more  GW 2003»
14 years 3 months ago
Design and Use of Some New Digital Musical Instruments
This article presents some facts about the use of gesture in computer music, more specifically in home made instruments dedicated to performance on stage. We first give some theore...
Daniel Arfib, Jean-Michel Couturier, Loïc Kes...
BIRTHDAY
2010
Springer
14 years 2 months ago
A Scalable Segmented Decision Tree Abstract Domain
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
Patrick Cousot, Radhia Cousot, Laurent Mauborgne