692 search results - page 73 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
126
click to vote
CSCW
2012
ACM
13 years 7 months ago
2012
ACM
We report on a study of the English edition of Wikipedia in which we used a mixed methods approach to understand how nested organizational structures called WikiProjects support c...
VLC
2010
14 years 10 months ago
2010
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
113
click to vote
TRETS
2010
14 years 10 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
101
click to vote
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract— We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach on the assumption that a node can be ab...
107
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...