2490 search results - page 264 / 498 » Complexity of Contextual Reasoning |
129
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
A new method for hiding digital data in the bitstream of an ACELP speech codec is proposed in this paper. The key element of our method is an alternative search strategy for the A...
143
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
127
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...
178
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
132
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...