Sciweavers

1816 search results - page 285 / 364
» ITS Domain Modelling with Ontology
Sort
View
CANDC
2011
ACM
14 years 6 months ago
Perception, insight, and creativity in paradigm, a game of pattern exploration
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
William W. York, David C. Bender
271
Voted
VLDB
2007
ACM
155views Database» more  VLDB 2007»
16 years 6 months ago
Towards Graph Containment Search and Indexing
Given a set of model graphs D and a query graph q, containment search aims to find all model graphs g D such that q contains g (q g). Due to the wide adoption of graph models, f...
Chen Chen, Xifeng Yan, Philip S. Yu, Jiawei Han, D...
VIS
2009
IEEE
163views Visualization» more  VIS 2009»
16 years 7 months ago
Visual Exploration of Climate Variability Changes Using Wavelet Analysis
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
Heike Jänicke, Michael Böttinger, Uwe Mikolaje...
WWW
2003
ACM
16 years 6 months ago
Dynamic service reconfiguration for wireless web access
This paper describes a dynamic service reconfiguration model where the proxy is composed of a chain of service objects called mobilets (pronounced as mo-be-lets), which can be dep...
Siu Nam Chuang, Alvin T. S. Chan, Jiannong Cao, Ro...
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
16 years 28 days ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...