3731 search results - page 220 / 747 » cases 2006 |
171
click to vote
IPL
2002
15 years 6 months ago
2002
We consider two aesthetic criteria for the visualization of rooted trees: inclusion and tip-over. Finding the minimum area layout according to either of these two standards is an ...
160
click to vote
FMSD
1998
15 years 6 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
172
click to vote
IWC
2002
15 years 6 months ago
2002
The notion of trust has been virtually absent from most work on how people assess and choose their information sources. Based on two empirical cases this study shows that software ...
152
click to vote
JAIR
2002
15 years 6 months ago
2002
The problem of organizing information for multidocument summarization so that the generated summary is coherent has received relatively little attention. While sentence ordering f...
163
click to vote
JAIR
2002
15 years 6 months ago
2002
We consider the problem of designing the the utility functions of the utility-maximizing agents in a multi-agent system (MAS) so that they work synergistically to maximize a globa...