Sciweavers

2291 search results - page 331 / 459
» Representational Reasoning and Verification
Sort
View
JDA
2008
72views more  JDA 2008»
15 years 3 months ago
Semi-local longest common subsequences in subquadratic time
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, ...
Alexander Tiskin
IJMTM
2007
123views more  IJMTM 2007»
15 years 3 months ago
Semantic enterprise application integration standards
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
Nenad Anicic, Zoran Marjanovic, Nenad Ivezic, Albe...
TKDE
2008
114views more  TKDE 2008»
15 years 3 months ago
Neural-Based Learning Classifier Systems
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...
Hai Huong Dam, Hussein A. Abbass, Chris Lokan, Xin...
CAD
2004
Springer
15 years 3 months ago
ESOLID - a system for exact boundary evaluation
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...
John Keyser, Tim Culver, Mark Foskey, Shankar Kris...
CANDC
2002
ACM
15 years 3 months ago
The impact of functional knowledge on sketching
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...
Winger Tseng, Stephen A. R. Scrivener, Linden J. B...