2662 search results - page 388 / 533 » Tools Demonstrations |
144
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insuf...
184
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Context awareness is the most important research area in ubiquitous computing. In particular, for smart home, context awareness attempts to bring the best services to the home hab...
152
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we focus on statistical region-based active contour models where image features (e.g. intensity) are random variables whose distribution belongs to some parametric ...
127
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
147
click to vote
ENTCS
2008
15 years 5 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...