5608 search results - page 791 / 1122 » Structure description tools |
172
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
158
click to vote
CLUSTER
2006
IEEE
16 years 22 days ago
2006
IEEE
In this work we present a parallel algorithm for the solution of a least squares problem with structured matrices. This problem arises in many applications mainly related to digit...
184
click to vote
ICALT
2006
IEEE
16 years 22 days ago
2006
IEEE
To transplant the six characteristics of traditional collaborative learning into the network collaborative learning environment, this paper proposes the design of an Internet coll...
160
click to vote
ICICIC
2006
IEEE
16 years 21 days ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
169
click to vote
ICSM
2006
IEEE
16 years 21 days ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...