72 search results - page 14 / 15 » On a syntactic approximation to logics that capture complexi... |
NJC
2000
13 years 5 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
EUSFLAT
2007
13 years 7 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
INFOCOM
2011
IEEE
12 years 9 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
SIGMOD
2012
ACM
11 years 8 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
CVPR
2004
IEEE
14 years 7 months ago
2004
IEEE
We present a new class of deformable models, MetaMorphs, whose formulation integrates both shape and interior texture. The model deformations are derived from both boundary and re...