2162 search results - page 295 / 433 » Automated Reasoning on Feature Models |
227
Voted
GIS
2008
ACM
16 years 5 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
262
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
128
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
142
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
140
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...