13271 search results - page 96 / 2655 » Computers, Programming, and People |
166
click to vote
EUROSSC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
140
click to vote
NMELP
1994
15 years 8 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
147
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
113
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
137
click to vote
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...