10568 search results - page 766 / 2114 » Computer Intelligence and Formalization |
183
click to vote
IWOCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Although there exist many polynomial algorithms for NPhard problems running on a bounded clique-width expression of the input graph, there exists only little comparable w...
197
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
213
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
214
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
167
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...