2722 search results - page 130 / 545 » The Model Evolution Calculus |
WEBI
2007
Springer
14 years 2 months ago
2007
Springer
There are information needs involving costly decisions that cannot be efficiently satisfied through conventional web search engines. Alternately, community centric search can prov...
JSS
2008
13 years 8 months ago
2008
The Web has become a ubiquitous tool for distributing knowledge and information and for conducting businesses. To exploit the huge potential of the Web as a global information rep...
PAMI
2011
13 years 3 months ago
2011
—Triangulated meshes have become ubiquitous discrete surface representations. In this paper, we address the problem of how to maintain the manifold properties of a surface while ...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...