535 search results - page 29 / 107 » Insertion and Expansion Operations for |
125
click to vote
DSN
2006
IEEE
15 years 5 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
AAAI
1998
15 years 3 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
133
click to vote
DCC
2000
IEEE
15 years 1 months ago
2000
IEEE
It has become increasingly common to implement discrete-logarithm based public-key protocols on elliptic curves over finite fields. The basic operation is scalar multiplication: ta...
119
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we present the architectural design of optical burst-buffers that can truly emulate input queuing and accommodate asynchronous burst operation. The architectural...
111
click to vote
SKG
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...