513 search results - page 8 / 103 » Finitely Based, Finite Sets of Words |
102
click to vote
CG
2004
Springer
14 years 11 months ago
2004
Springer
We present a framework for processing point-based surfaces via partial differential equations (PDEs). Our framework efficiently and effectively brings well-known PDE-based process...
ICLP
1991
Springer
15 years 3 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
119
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Most methods for multiple camera tracking rely on accurate calibration to associate data from multiple cameras. However, it often is not easy to have an accurate calibration in so...
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
COLING
1992
15 years 27 days ago
1992
: This paper describes a possibility of expressing ordering constraints among non-sister constituents in binary branching syntactic structures on a local basis, supported by viewin...