2266 search results - page 453 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
MOC
2000
13 years 5 months ago
2000
Let {Sm} be an infinite sequence whose limit or antilimit S can be approximated very efficiently by applying a suitable extrapolation method E0 to {Sm}. Assume that the Sm and henc...
IJVR
2008
13 years 4 months ago
2008
As environments become smart in accordance with advances in ubiquitous computing technology, researchers are struggling to satisfy users' diverse and sophisticated demands. Th...
AI
2011
Springer
13 years 19 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
TISSEC
2010
13 years 9 days ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
CODASPY
2011
12 years 9 months ago
2011
—Progress in mobile wireless technology has resulted in the increased use of mobile devices to store and manage users’ personal schedules. Users also access popular contextbase...