3113 search results - page 493 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
TOPNOC
2008
14 years 9 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
TROB
2008
14 years 9 months ago
2008
This paper describes a method for providing in real time a reliable synchronization signal for cyclical motions such as steady-state walking. The approach consists in estimating on...
TSE
2008
14 years 9 months ago
2008
Many software systems have evolved to include a Web-based component that makes them available to the public via the Internet and can expose them to a variety of Web-based attacks. ...
105
click to vote
TVCG
2008
14 years 9 months ago
2008
Graphs have been widely used to model relationships among data. For large graphs, excessive edge crossings make the display visually cluttered and thus difficult to explore. In thi...
TVCG
2008
14 years 9 months ago
2008
Grid-based methods have difficulty resolving features on or below the scale of the underlying grid. Although adaptive methods (e.g., RLE, octrees) can alleviate this to some degree...