6608 search results - page 955 / 1322 » On the Completeness of Model Checking |
173
click to vote
ISPW
2006
IEEE
16 years 25 days ago
2006
IEEE
As functionality is added to an ageing piece of software, its original design and structure tends to erode. The underlying forces which cause such degradation have been the subject...
199
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
This paper explores the generation of candidates, which is an important step in frequent itemset mining algorithms, from a theoretical point of view. Important notions in our prob...
177
click to vote
UIST
2006
ACM
16 years 23 days ago
2006
ACM
Systems of connected appliances, such as home theaters and presentation rooms, are becoming commonplace in our homes and workplaces. These systems are often difficult to use, in p...
201
click to vote
CSB
2005
IEEE
16 years 13 days ago
2005
IEEE
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...
180
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper explores search behavior of online shoppers. Information economics literature suggests that search cost in electronic markets has essentially been reduced to zero as co...