Sciweavers

6652 search results - page 721 / 1331
» On the effective evaluation of TCP
Sort
View
176
Voted
MVA
1990
15 years 8 months ago
Determining Surface Orientation by Uni-directional Photometric Flow Fields
In the Shape from Shading methods, an extended approach named Uni-directional Photometric Flow Fields is proposed in this paper. The reflectance property of the surface material i...
Hidekazu Tanaka, Yuji Iwahori, Naohiro Ishii
181
Voted
ATAL
2010
Springer
15 years 8 months ago
Strategy exploration in empirical games
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
Patrick R. Jordan, L. Julian Schvartzman, Michael ...
BPM
2010
Springer
163views Business» more  BPM 2010»
15 years 8 months ago
Self-adjusting Recommendations for People-Driven Ad-Hoc Processes
Abstract. A company's ability to flexibly adapt to changing business requirements is one key factor to remain competitive. The required flexibility in peopledriven processes i...
Christoph Dorn, Thomas Burkhart, Dirk Werth, Schah...
CADE
2010
Springer
15 years 8 months ago
Sledgehammer: Judgement Day
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
Sascha Böhme, Tobias Nipkow
215
Voted
ECAI
2010
Springer
15 years 8 months ago
Propagation of Opinions in Structural Graphs
Trust and reputation measures are crucial in distributed open systems where agents need to decide whom or what to choose. Existing work has mainly focused on the reputation of sing...
Nardine Osman, Carles Sierra, Jordi Sabater-Mir