2646 search results - page 170 / 530 » Local Type Inference |
176
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
173
click to vote
JALC
2006
15 years 6 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
151
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Recent developments in computer vision have shown that local features can provide efficient representations suitable for robust object recognition. Support Vector Machines have be...
171
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we study the static path planning problem with wireless sensor network localization as the primary objective. We consider a model in which sensors are assumed to be...
161
click to vote
APBC
2004
15 years 7 months ago
2004
This paper presents an efficient computational method to identify a local symmetry axis in 3-dimensional viral structures obtained using electron cryomicroscopy. Local symmetry is...