2432 search results - page 277 / 487 » Using simple abstraction to reinvent computing for paralleli... |
136
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, a new technique is proposed for the automatic generation of a preview sequence of a feature film. The input video is decomposed into a number of basic components ca...
135
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
152
click to vote
POLICY
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
128
click to vote
CGI
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
149
click to vote
DIS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In multi-instance learning, each example is described by a bag of instances instead of a single feature vector. In this paper, we revisit the idea of performing multi-ins...