Sciweavers

3987 search results - page 525 / 798
» Ontology-Based Model Transformation
Sort
View
SIGMOD
2009
ACM
158views Database» more  SIGMOD 2009»
16 years 7 months ago
Simplifying XML schema: effortless handling of nondeterministic regular expressions
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
Geert Jan Bex, Wouter Gelade, Wim Martens, Frank N...
ACAL
2009
Springer
16 years 1 months ago
A Developmental System for Organic Form Synthesis
Modelling the geometry of organic forms using traditional CAD or animation tools is often difficult and tedious. Different models of morphogenesis have been successfully applied t...
Benjamin Porter
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
16 years 1 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
HICSS
2008
IEEE
147views Biometrics» more  HICSS 2008»
16 years 1 months ago
Conceiving Interoperability between Public Authorities - A Methodical Framework
An increasing level of cooperation between public administrations nowadays on national, regional and local level requires methods to develop interoperable EGovernment systems and ...
Jörg Ziemann, Thomas Matheis, Dirk Werth
IJCNN
2008
IEEE
16 years 1 months ago
On the learning of nonlinear visual features from natural images by optimizing response energies
— The operation of V1 simple cells in primates has been traditionally modelled with linear models resembling Gabor filters, whereas the functionality of subsequent visual cortic...
Jussi T. Lindgren, Aapo Hyvärinen