Boolean satisfiability (SAT) is the canonical NP-complete problem that plays an important role in AI and has many practical applications in Computer Science in general. Boolean n...
Installation dynamics, optimal thruster propulsion, and specific impulse thrust for reignitable fuel motors to regulate pointing error is obtained for geosynchronous (e.g., the Ind...
The article presents a general classification of the models being developed in the area of sustainability arguing that the existing models represent the ...
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
Sung-Jung Cho, Roderick Murray-Smith, Yeun-Bae Kim