5205 search results - page 146 / 1041 » Tilings and model theory |
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
IJIS
2008
13 years 9 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
ECIS
2001
13 years 10 months ago
2001
Using a knowledge-based theory of the firm within the larger framework of resource-based theory, this ongoing study examines how firm knowledge structures are disrupted under diff...
ICCV
1998
IEEE
14 years 11 months ago
1998
IEEE
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
User interfaces and information systems have become increasingly social in recent years, aimed at supporting the decentralized, cooperative production and use of content. A theory...