Sciweavers

9810 search results - page 138 / 1962
» Problems, Descriptions and Objects
Sort
View
PADL
2009
Springer
16 years 4 months ago
Ad Hoc Data and the Token Ambiguity Problem
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
Qian Xi, Kathleen Fisher, David Walker, Kenny Qili...
EEE
2005
IEEE
15 years 10 months ago
A Web Registry for Publishing and Discovering Mathematical Services
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner
AI
2001
Springer
15 years 8 months ago
How AI Can Help SE; or: Randomized Search Not Considered Harmful
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
Tim Menzies, Harshinder Singh
MICS
2010
112views more  MICS 2010»
15 years 2 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
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 4 months ago
Parameterizing by the Number of Numbers
The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization." In this paper we introduce and expl...
Michael R. Fellows, Serge Gaspers, Frances A. Rosa...