780 search results - page 60 / 156 » Reasoning about sets using redescription mining |
ENTCS
2008
15 years 26 days ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
86
Voted
MSR
2010
ACM
15 years 5 months ago
2010
ACM
—The severity of a reported bug is a critical factor in deciding how soon it needs to be fixed. Unfortunately, while clear guidelines exist on how to assign the severity of a bu...
131
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes a new method for providing recommendations tailored to a user's preferences using text mining techniques and online technical specifications of products....
153
click to vote
JAISE
2010
14 years 7 months ago
2010
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
111
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...