Sciweavers

5864 search results - page 1120 / 1173
» Can We Work around Numerical Methods
Sort
View
165
Voted
SIGMETRICS
2008
ACM
181views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Counter braids: a novel counter architecture for per-flow measurement
Fine-grained network measurement requires routers and switches to update large arrays of counters at very high link speed (e.g. 40 Gbps). A naive algorithm needs an infeasible amo...
Yi Lu, Andrea Montanari, Balaji Prabhakar, Sarang ...
SIGSOFT
2010
ACM
15 years 2 months ago
Differential static analysis: opportunities, applications, and challenges
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
ICIP
2004
IEEE
16 years 6 months ago
Free viewpoint video extraction, representation, coding, and rendering
Free viewpoint video provides the possibility to freely navigate within dynamic real world video scenes by choosing arbitrary viewpoints and view directions. So far, related work ...
Aljoscha Smolic, Karsten Müller, Matthias Kau...
MIR
2005
ACM
140views Multimedia» more  MIR 2005»
15 years 10 months ago
Multiple random walk and its application in content-based image retrieval
In this paper, we propose a transductive learning method for content-based image retrieval: Multiple Random Walk (MRW). Its basic idea is to construct two generative models by mea...
Jingrui He, Hanghang Tong, Mingjing Li, Wei-Ying M...
146
Voted
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 10 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
« Prev « First page 1120 / 1173 Last » Next »