4767 search results - page 387 / 954 » Structures for Abstract Rewriting |
181
click to vote
SACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We use the specific structure of the inputs to the cofactorization step in the general number field sieve (GNFS) in order to optimize the runtime for the cofactorizatio...
179
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
177
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents two novel approaches for accurate intrinsic and extrinsic camera calibration. The rationale behind them is the widespread violation of the tradition...
168
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...