1541 search results - page 302 / 309 » Tools and Techniques for Model Checking Networked Programs |
140
click to vote
CLA
2007
15 years 1 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...
103
Voted
CHI
2004
ACM
16 years 21 days ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...
114
click to vote
3DGIS
2006
Springer
15 years 6 months ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
128
click to vote
ILP
2007
Springer
15 years 6 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
99
Voted
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...