Sciweavers

16606 search results - page 248 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
LICS
2005
IEEE
15 years 10 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
ECIS
2003
15 years 5 months ago
The method evaluation model: a theoretical model for validating information systems design methods
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
Daniel L. Moody
ICC
2007
IEEE
15 years 10 months ago
On the Verification of the Gravity Model Used for Mobility Modeling
— Gravity model used to model transport flow has proven invaluable in urban planning. Some recent work has proposed to use gravity model to predict user movements in cellular net...
Yong Huat Chew, Shinobu Nanba, Peng Keong Tham, Bo...
HICSS
2006
IEEE
97views Biometrics» more  HICSS 2006»
15 years 10 months ago
Organizational Transformation through Business Models: A Framework for Business Model Design
Organizations are increasingly inter-connected as they source talent, goods and services from other organizations located in disparate parts of the world. They seek new ways of cr...
Peter Keen, Sajda Qureshi
EMNLP
2007
15 years 5 months ago
Flexible, Corpus-Based Modelling of Human Plausibility Judgements
In this paper, we consider the computational modelling of human plausibility judgements for verb-relation-argument triples, a task equivalent to the computation of selectional pre...
Sebastian Padó, Ulrike Padó, Katrin ...