8587 search results - page 1567 / 1718 » Interactive dynamic abstraction |
ICDE
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract— Large graph datasets are ubiquitous in many domains, including social networking and biology. Graph summarization techniques are crucial in such domains as they can ass...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— Man-made real-world environments are dominated by planar surfaces many of which constitute behaviorrelevant entities. Thus, the ability to perceive planar surfaces is v...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
ESAW
2009
Springer
14 years 5 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
ACRI
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...