1174 search results - page 166 / 235 » Derivation of Characteristic Formulae |
172
click to vote
INFOCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...
214
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
173
Voted
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
— Robust power distribution within available routing area resources is critical to chip performance and reliability. In this paper, we propose a novel and efficient method for o...
217
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
This paper proposes a novel method for detection and segmentation of foreground objects from a video which contains both stationary and moving background objects and undergoes bot...
163
click to vote
FOSSACS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...