526 search results - page 30 / 106 » Type Abstractions of Name-Passing Processes |
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— A novel approach named recursive evidence filtering for information processing in Distributed Sensor Networks (DSNs) is presented. It is based on the Dempster-Shafer (...
APWEB
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Nowadays, we have witnessed the widely recognized phenomenon of high speed data streams. Various statistics computation over data streams is often required by many applic...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
GEOINFORMATICA
1998
13 years 8 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
IJCNN
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Putative brain processes responsible for understanding language are based on spreading activation in semantic networks, providing enhanced representations that involve c...