11739 search results - page 126 / 2348 » Slideshow: functional presentations |
140
click to vote
VMV
2000
15 years 5 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
90
Voted
IJCAI
1993
15 years 5 months ago
1993
: We present a set of axioms that justify the use of belief functions to quantify the beliefs held by an agent Y at time t and based on Y's evidential corpus. It is essentiall...
135
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
DPOP is an algorithm for distributed constraint optimization which has, as main drawback, the exponential size of some of its messages. Recently, some algorithms for distributed c...
139
Voted
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
137
click to vote
COR
2008
15 years 4 months ago
2008
Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully...