Sciweavers

5205 search results - page 203 / 1041
» Tilings and model theory
Sort
View
CORR
1999
Springer
95views Education» more  CORR 1999»
13 years 10 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
JCAMD
2010
34views more  JCAMD 2010»
13 years 8 months ago
SAMPL2 and continuum modeling
An account is given of our contributions to the SAMPL2 challenge for vacuum-water transfer energies. These contributions include different charge sets and radii used with Poissonâ€...
Anthony Nicholls, Stanislaw Wlodek, J. Andrew Gran...
ICMCS
2009
IEEE
106views Multimedia» more  ICMCS 2009»
13 years 8 months ago
Modeling and analysis of content identification
Content fingerprinting provides a compact content-based representation of a multimedia document. An important application of fingerprinting is the identification of modified copie...
Avinash L. Varna, Min Wu
ECIS
2004
13 years 11 months ago
Developing and Codifying business models and process models in e-business design
The development of business models for eBusiness has become increasing popular within both the academic and business arena. We believe that many of the business models for eBusine...
Philip Joyce, Graham Winch
MODELS
2009
Springer
14 years 5 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molièreâ...
Pierre-Alain Muller, Frédéric Fondem...