2291 search results - page 331 / 459 » Representational Reasoning and Verification |
JDA
2008
13 years 10 months ago
2008
For two strings a, b of lengths m, n respectively, the longest common subsequence (LCS) problem consists in comparing a and b by computing the length of their LCS. In this paper, ...
IJMTM
2007
13 years 10 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
TKDE
2008
13 years 10 months ago
2008
UCS is a supervised learning classifier system that was introduced in 2003 for classification in data mining tasks. The representation of a rule in UCS as a univariate classificati...
CAD
2004
Springer
13 years 10 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
CANDC
2002
ACM
13 years 10 months ago
2002
ACM
Previous research investigating sketching processes during object visualisation and design has indicated that drawing occurs in a primarily part-by-part manner, whereby the compon...