998 search results - page 60 / 200 » From Feasible Proofs to Feasible Computations |
NAACL
2010
13 years 6 months ago
2010
With the recent rise in popularity and size of social media, there is a growing need for systems that can extract useful information from this amount of data. We address the probl...
RECONFIG
2008
IEEE
14 years 3 months ago
2008
IEEE
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of Moore’s law, we consider the feasibility of gathering computat...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
In a user centered design process, we investigate what context information may be used to augment digital photos with additional meta information. We describe our initial findings...
SPC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...