Sciweavers

112 search results - page 10 / 23
» A survey of context modelling and reasoning techniques
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 27 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
GIS
2000
ACM
13 years 7 months ago
A conceptual framework for incorporating cognitive principles into geographical database representation
The advancement of GIS data models to allow the eOEective utilization of very large heterogeneous geographic databases requires a new approach that incorporates models of human cog...
Jeremy L. Mennis, Donna Peuquet, Liujian Qian
DASFAA
2007
IEEE
139views Database» more  DASFAA 2007»
14 years 1 months ago
Self-tuning in Graph-Based Reference Disambiguation
Nowadays many data mining/analysis applications use the graph analysis techniques for decision making. Many of these techniques are based on the importance of relationships among t...
Rabia Nuray-Turan, Dmitri V. Kalashnikov, Sharad M...
IJCAI
1989
13 years 8 months ago
Generating Facts From Opinions with Information Source Models
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
Martin Thost
CAISE
2007
Springer
14 years 1 months ago
Modeling Ubiquitous Business Process Driven Applications
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
Victoria Torres, Pau Giner, Vicente Pelechano