12981 search results - page 2109 / 2597 » Model Checking (Abstract) |
266
click to vote
CC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We prove lower bounds on the randomized two-party communication complexity of functions that arise from read-once boolean formulae. A read-once boolean formula is a formu...
260
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Illumination variation is one of intractable yet crucial problems in face recognition and many lighting normalization approaches have been proposed in the past decades. N...
227
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
213
click to vote
ICDM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--We propose a framework for discovery of collaborative community structure in Wiki-based knowledge repositories based on raw-content generation analysis. We leverage topic...
196
click to vote
IEAAIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Gene expression profiling strategies have attracted considerable interest from biologist due to the potential for high throughput analysis of hundreds of thousands of gen...