2920 search results - page 497 / 584 » Finite information logic |
104
click to vote
WECWIS
2009
IEEE
15 years 6 months ago
2009
IEEE
āPeople, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
IEEESCC
2009
IEEE
15 years 6 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesā...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from diļ¬erent sources. In this paper we describe a project to integrate four ...
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a proto-type autonomous signal processing system on a chip. The system is architected such that high performance digital signal processing occurs in the FPGAā...