4224 search results - page 218 / 845 » Reasoning about Choice |
229
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
193
click to vote
FCS
2006
15 years 8 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
215
click to vote
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
179
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
186
click to vote
RSFDGRC
2005
Springer
16 years 20 days ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...