3250 search results - page 360 / 650 » Parameterized Learning Complexity |
229
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
It is widely realized that the integration of database and information retrieval techniques will provide users with a wide range of high quality services. In this paper, we study ...
134
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Channel estimation and multiuser detection are enabling technologies for future generations of wireless applications. However, sophisticated algorithms are required for accurate c...
125
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
152
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
146
click to vote
SI3D
2009
ACM
15 years 11 months ago
2009
ACM
Stylized rendering methods, which aim at depicting 3D scenes with 2D marks such as pigments or strokes, are often faced with temporal coherence issues when applied to dynamic scen...