5863 search results - page 838 / 1173 » On Model-Checking of P Systems |
163
click to vote
SARA
2007
Springer
16 years 25 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
174
click to vote
AICCSA
2006
IEEE
16 years 24 days ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
163
Voted
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Organizations across many industries are implementing or exploring Web services technology. According to recent industry surveys, however, many organizations are still hesitating ...
169
Voted
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Guided by knowledge transfer (KT) literature and Channel Expansion Theory (CET), we explore the relationship between the KT process, role-based experiences and media perceptions i...
168
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a low-power architectural MPEG-4 part-10 AVC/H.264 video and MPEG-4 BSAC audio decoder chip capable of delivering high-quality and high-compression in wireless multimed...