4498 search results - page 369 / 900 » How to Invent Functions |
187
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
From Proc. CAiSE05 LNCS 3520, Pages 460-474 c Springer-Verlag 2005 Semi-structured data sources, such as XML, HTML or CSV files, present special problems when performing data int...
163
Voted
CIE
2005
Springer
16 years 11 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
148
click to vote
ICCSA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...
138
click to vote
TCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We initiate a theoretical study of the census problem. Informally, in a census individual respondents give private information to a trusted party (the census bureau), who...
183
click to vote
CC
2004
Springer
16 years 6 days ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...