Sciweavers

3229 search results - page 189 / 646
» Theories with the Independence Property
Sort
View
ICSM
2006
IEEE
16 years 16 days ago
An Extensible Meta-Model for Program Analysis
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
Dennis Strein, Rüdiger Lincke, Jonas Lundberg...
ROBIO
2006
IEEE
217views Robotics» more  ROBIO 2006»
16 years 15 days ago
Modular software architecture for teams of cooperating, heterogeneous robots
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
Martin Friedmann, Jutta Kiener, Sebastian Petters,...
SWAP
2008
15 years 8 months ago
Ontology-based Editor for Metadata Documents
Editing metadata for documents in a large collection is a long and menial task. Many metadata schemas exist, among which, of course, Dublin Core, and they are usually only partiall...
Silvia Duca, Fabio Vitali
AAAI
1997
15 years 7 months ago
Evidence for Invariants in Local Search
It is well known that the performance of a stochastic local search procedure depends upon the setting of its noise parameter, and that the optimal setting varies with the problem ...
David A. McAllester, Bart Selman, Henry A. Kautz
CORR
2007
Springer
82views Education» more  CORR 2007»
15 years 6 months ago
Sorting and Selection with Random Costs
There is a growing body of work on sorting and selection in models other than the unit-cost comparison model. This work treats a natural stochastic variant of the problem where the...
Stanislav Angelov, Keshav Kunal, Andrew McGregor