6719 search results - page 1227 / 1344 » A Generalization of Automatic Sequences |
138
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
118
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
151
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
167
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
The web has become an important medium for news delivery and consumption. Fresh content about a variety of topics, events, and places is constantly being created and published on ...