780 search results - page 64 / 156 » Reasoning about sets using redescription mining |
91
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
108
Voted
CL
2004
Springer
15 years 20 days ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
HAIS
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
110
click to vote
SDM
2010
SIAM
15 years 2 months ago
2010
SIAM
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...
130
Voted
AAAI
2008
15 years 3 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...