Sciweavers

3410 search results - page 260 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
BIRTHDAY
2005
Springer
16 years 4 days ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
CONCUR
2004
Springer
16 years 23 min ago
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
Paolo Baldan, Andrea Corradini, Barbara König
BMCBI
2007
142views more  BMCBI 2007»
15 years 6 months ago
Predicting and improving the protein sequence alignment quality by support vector regression
Background: For successful protein structure prediction by comparative modeling, in addition to identifying a good template protein with known structure, obtaining an accurate seq...
Minho Lee, Chan-seok Jeong, Dongsup Kim
ICDE
2003
IEEE
146views Database» more  ICDE 2003»
16 years 8 months ago
Distance Based Indexing for String Proximity Search
In many database applications involving string data, it is common to have near neighbor queries (asking for strings that are similar to a query string) or nearest neighbor queries...
Jai Macker, Murat Tasan, Süleyman Cenk Sahina...
EGOV
2009
Springer
16 years 1 months ago
Refinement, Validation and Benchmarking of a Model for E-Government Service Quality
This paper presents the refinement and validation of a model for Quality of e-Government Services (QeGS). We built upon our previous work where a conceptualized model was identifie...
Babis Magoutas, Gregoris Mentzas