1364 search results - page 211 / 273 » Comparative Branching-Time Semantics |
143
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
146
click to vote
AIPR
2008
IEEE
15 years 10 months ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
134
click to vote
ENC
2008
IEEE
15 years 10 months ago
2008
IEEE
—The world of the mobile devices involves restrictive features. Multiple efforts have been done to define the User Interface. Here, it is combined a neutral description of the UI...
141
click to vote
MMSP
2008
IEEE
15 years 10 months ago
2008
IEEE
— Active appearance model (AAM) has been widely used in face tracking and recognition. However, accuracy and efficiency are always two main challenges with the AAM search. The pa...
122
click to vote
MOMPES
2008
IEEE
15 years 10 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...