3353 search results - page 174 / 671 » Laver and set theory |
152
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
A set of principles (based on Gestalt theory) governing how we group notes into meaningful groups has been widely accepted in the literature. Based on these principles, many diver...
143
click to vote
IJCAI
1993
15 years 7 months ago
1993
literal: Let p be a proposition. Then p and -p are literals. clause: A clause is a disjunction of literals. Horn Clause: A Horn Clause is a clause in which there is at most one po...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
142
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Commercial games have various methods of game balancing, which modify the game’s entertainment value for players of different skill levels. This paper presents a way o...
143
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...