4117 search results - page 214 / 824 » On the Satisfiability of Complex Constraints |
152
Voted
COMCOM
2004
15 years 6 months ago
2004
The Private Network-to-Network Interface (PNNI) is a scalable hierarchical protocol that allows ATM switches to be aggregated into clusters called peer groups. To provide good acc...
179
click to vote
PVLDB
2010
15 years 5 months ago
2010
Complex event detection is an advanced form of data stream processing where the stream(s) are scrutinized to identify given event patterns. The challenge for many complex event pr...
158
click to vote
GLOBECOM
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
163
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
195
click to vote
ICARCV
2006
IEEE
16 years 20 days ago
2006
IEEE
— In this paper we present a new integration method for improving the performance of visual servoing. The method integrates image-based visual servoing (IBVS) and positionbased v...