12373 search results - page 2133 / 2475 » Semi-Logarithmic Number Systems |
190
Voted
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
172
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
163
click to vote
ECML
1993
Springer
15 years 11 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
231
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
187
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Effective privacy management requires that mobile systems‟ users be able to make informed privacy decisions as their experience and knowledge of a system progresses. Prior work ...