1670 search results - page 175 / 334 » On Skolemization in constructive theories |
167
click to vote
IJCNN
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—Acquisition and representation of semantic concepts is a necessary requirement for the understanding of natural languages by cognitive systems. Word games provide an int...
166
click to vote
IJCNN
2008
IEEE
16 years 28 days ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
172
click to vote
SECURWARE
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
177
click to vote
COLCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
129
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...