12373 search results - page 301 / 2475 » Semi-Logarithmic Number Systems |
112
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
135
click to vote
IEEECIT
2006
IEEE
15 years 10 months ago
2006
IEEE
— User authentication is still heavily reliant on the use of passwords, and the security problems associated with passwords are becoming more and more serious. The main causes of...
135
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
141
click to vote
SIAMCO
2010
14 years 11 months ago
2010
We study a simple continuous-time multiagent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by e...
120
click to vote
JCT
2008
15 years 4 months ago
2008
A 4-graph is odd if its vertex set can be partitioned into two sets so that every edge intersects both parts in an odd number of points. Let b(n) = max n 3 + (n - ) 3 = 1 2 + o...