Sciweavers

3996 search results - page 310 / 800
» A Publish
Sort
View
JAR
2000
137views more  JAR 2000»
15 years 6 months ago
A Benchmark Method for the Propositional Modal Logics K, KT, S4
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
Peter Balsiger, Alain Heuerding, Stefan Schwendima...
JODL
2000
124views more  JODL 2000»
15 years 6 months ago
ScholOnto: an ontology-based digital library server for research documents and discourse
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
Simon Buckingham Shum, Enrico Motta, John Domingue
MISQ
2000
123views more  MISQ 2000»
15 years 6 months ago
A Cross-Cultural Study on Escalation of Commitment Behavior in Software Projects
One of the most challenging decisions that a manager must confront is whether to continue or abandon a troubled project. Published studies suggest that failing software projects a...
Mark Keil, Bernard C. Y. Tan, Kwok Kee Wei, Timo S...
PR
2000
116views more  PR 2000»
15 years 6 months ago
On links between mathematical morphology and rough sets
Based on the observation that rough sets and mathematical morphology are both using dual operators sharing similar properties, we investigate more closely the links existing betwe...
Isabelle Bloch
PR
2000
120views more  PR 2000»
15 years 6 months ago
On internal representations in face recognition systems
This survey compares internal representations of the recent as well as more traditional face recognition techniques to classify them into several broad categories. The categories ...
Maxim A. Grudin