Sciweavers

77016 search results - page 302 / 15404
» Modeling Modeling
Sort
View
PUC
2002
107views more  PUC 2002»
15 years 6 months ago
Location Models from the Perspective of Context-Aware Applications and Mobile Ad Hoc Networks
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
Martin Bauer, Christian Becker, Kurt Rothermel
HICSS
2009
IEEE
159views Biometrics» more  HICSS 2009»
16 years 1 months ago
Collaborative Modeling - A Design Science Approach
We have used a design science approach to study the collaborative creation of conceptual models. We have designed a collaborative modeling architecture based on business needs and...
Peter Rittgen
ICB
2007
Springer
124views Biometrics» more  ICB 2007»
16 years 24 days ago
Face Authentication with Salient Local Features and Static Bayesian Network
In this paper, the problem of face authentication using salient facial features together with statistical generative models is adressed. Actually, classical generative models, and ...
Guillaume Heusch, Sébastien Marcel
COMPSAC
2005
IEEE
16 years 8 days ago
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sud...
CAV
2003
Springer
153views Hardware» more  CAV 2003»
15 years 12 months ago
Interpolation and SAT-Based Model Checking
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
Kenneth L. McMillan
« Prev « First page 302 / 15404 Last » Next »