1743 search results - page 106 / 349 » Generalized Modal Satisfiability |
144
Voted
CODASPY
2011
14 years 4 months ago
2011
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...
217
click to vote
IPMI
2011
Springer
14 years 4 months ago
2011
Springer
Tumor segmentation in PET and CT images is notoriously challenging due to the low spatial resolution in PET and low contrast in CT images. In this paper, we proposed a general fram...
119
click to vote
MBEC
2011
14 years 3 months ago
2011
Abstract While the relationship between sensory stimulation and tasks and the size of the cortical activations is generally unknown, the visual modality offers a unique possibility...
128
Voted
ATAL
2011
Springer
14 years 23 days ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...
139
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...