1124 search results - page 41 / 225 » Refined quorum systems |
AAAI
1994
15 years 3 months ago
1994
A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...
ETT
2002
15 years 1 months ago
2002
We analyze the evolution of the global Internet interdomain routing system on AS, prefix and IP address level granu
117
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
129
click to vote
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
127
click to vote
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...