780 search results - page 52 / 156 » Reasoning about sets using redescription mining |
139
click to vote
CBMS
2008
IEEE
16 years 10 days ago
2008
IEEE
We present ProtCV (Protein Clustering and Visualization) a new software tool for grouping samples (mass spectra peak-lists) emanating from a high throughput proteomics analysis ba...
159
click to vote
ATAL
2007
Springer
16 years 1 days ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
211
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. One of the effects of the general Internet growth is an immense number of user accesses to WWW resources. These accesses are recorded in the web server log files, which...
152
click to vote
LICS
2009
IEEE
16 years 15 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
147
Voted
ESOP
2007
Springer
16 years 19 hour ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...