3573 search results - page 155 / 715 » Reasoning about Codata |
148
Voted
IAT
2007
IEEE
15 years 9 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...
127
Voted
FCS
2006
15 years 4 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...
142
Voted
FLOPS
2010
Springer
15 years 10 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...
124
click to vote
ITNG
2007
IEEE
15 years 9 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...
121
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...