6274 search results - page 631 / 1255 » Proofs, Programs, Processes |
199
click to vote
IUI
2003
ACM
16 years 14 days ago
2003
ACM
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...
170
click to vote
DATE
2010
IEEE
16 years 9 days ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
204
click to vote
APSEC
2002
IEEE
16 years 5 days ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
170
click to vote
COOPIS
2002
IEEE
16 years 5 days ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
161
click to vote
DATE
2002
IEEE
16 years 5 days ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...