6020 search results - page 507 / 1204 » A New Approach to Model Counting |
182
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
189
Voted
WSCG
2003
15 years 8 months ago
2003
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...
221
click to vote
ADBIS
2010
Springer
15 years 7 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
211
Voted
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
209
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer users with visual impairment cannot access the rich graphical contents in print or digital media unless relying on visual-to-tactile conversion, which is done primarily b...