233 search results - page 38 / 47 » Semantical Counting Circuits |
168
Voted
POPL
2007
ACM
15 years 9 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
Massive-scale self-administered networks like Peer-to-Peer and Sensor Networks have data distributed across thousands of participant hosts. These networks are highly dynamic with ...
MMM
2007
Springer
15 years 3 months ago
2007
Springer
The aim of this work is to devise an effective method for static summarization of home video sequences. Based on the premise that the user watching a summary is interested in peop...
71
Voted
CEAS
2007
Springer
15 years 3 months ago
2007
Springer
Email is a key communication tool for collaborative workgroups. In this paper, we investigate how team leadership roles can be inferred from a collection of email messages exchang...
ISCA
2010
IEEE
15 years 2 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...