3844 search results - page 441 / 769 » Modular interpreted systems |
175
Voted
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
176
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In recent years, digital multimedia technologies have evolved significantly, and are finding numerous applications, over the internet, and even over mobile networks. Thus, the vid...
157
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
169
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
This paper describes the design and interprets the results of a survey of 435 undergraduate students concerning the attitudes of this mainly millennial population towards sustaina...
129
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...