5170 search results - page 744 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
214
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
193
click to vote
LCN
2002
IEEE
16 years 10 days ago
2002
IEEE
Setting up experimental networks of a sufficient size is a crucial element for the development of communication services. Unfortunately, the required equipment, like routers and ...
205
click to vote
PST
2008
15 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
145
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We develop a computationally efficient and memory efficient approach to (near) maximum a posteriori probability demodulation for MIMO systems with QPSK signalling, based on semi...
181
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a configurable and generic platform architecture suitable to interface several kinds of sensors for automotive applications. A platform-based design approach i...