337 search results - page 15 / 68 » Semantic Integration through Invariants |
TFS
2008
14 years 11 months ago
2008
Abstract--Flocking algorithms essentially consist of three components: alignment, cohesion, and separation. To track a desired trajectory, the flock center should move along the de...
114
click to vote
AWCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Much of the information on the web is indeed dynamic content provided through linkups with databases. However, due to heterogeneity of databases, it is difficult to provi...
104
click to vote
DILS
2006
Springer
15 years 3 months ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
ISSAC
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
ITICSE
2003
ACM
15 years 5 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...