2448 search results - page 321 / 490 » The Octahedron Abstract Domain |
141
click to vote
SIAMCOMP
2010
15 years 2 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...
252
click to vote
POPL
2008
ACM
16 years 4 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 ...
155
click to vote
ACSC
2006
IEEE
15 years 10 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...
144
click to vote
ECBS
2006
IEEE
15 years 10 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...
123
click to vote
GW
2003
Springer
15 years 9 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...