2448 search results - page 321 / 490 » The Octahedron Abstract Domain |
SIAMCOMP
2010
14 years 9 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...
198
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
110
click to vote
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
105
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
GW
2003
Springer
15 years 4 months ago
2003
Springer
The paper presents a research on the multimodal communication of teachers in the classroom. The “musical score”, a procedure for the analysis of multimodal communication, is us...