1536 search results - page 235 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICDCSW
2007
IEEE
14 years 2 months ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
ECML
2007
Springer
14 years 1 months ago
2007
Springer
Many applications in information retrieval, natural language processing, data mining, and related fields require a ranking of instances with respect to a specified criteria as op...
IV
2006
IEEE
14 years 1 months ago
2006
IEEE
Although Information Visualization claims to provide the means to induce mental models of any kind of data, the visualization of semantic information is still an open field of re...
CSCW
2006
ACM
14 years 1 months ago
2006
ACM
Representations are at work in IT technology. As plans of and for work, they enable cooperation, coordination, accountability and control, which have to be balanced off against ea...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...