2519 search results - page 312 / 504 » Reasoning with Textual Cases |
166
click to vote
AIML
2006
15 years 8 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
176
click to vote
AVI
2006
15 years 8 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
161
click to vote
CASCON
2004
15 years 8 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
203
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
Computation of multiple sequence alignments is one of the major open problems in computational molecular biology. The purpose of this study was to provide a new method, PAC (Progre...
125
click to vote
ECIS
2004
15 years 8 months ago
2004
This case study analyses a multiyear ERP (SAP R/3) implementation project in a global company from perspectives of conflicts and problems the project faced. The paper reports on t...