1700 search results - page 150 / 340 » Specifying and implementing refactorings |
101
Voted
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
We describe a scheme to fragment and distribute centralized databases. ’ The problem is motivated by trends towards down-sizing and reorganization, reflecting actual, often dist...
126
Voted
ACMACE
2009
ACM
15 years 8 months ago
2009
ACM
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
139
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
134
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
A new algorithm for performing classification with imperfectly labeled data is presented. The proposed approach is motivated by the insight that the average prediction of a group ...
129
Voted
AAAI
2008
15 years 7 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...