Sciweavers

7117 search results - page 1325 / 1424
» IT Governance Frameworks as Methods
Sort
View
KBS
2000
122views more  KBS 2000»
15 years 4 months ago
Creating knowledge maps by exploiting dependent relationships
Knowledge is an interesting concept that has attracted the attention of philosophers for thousands of years. In more recent times, researchers have investigated knowledge in a mor...
John L. Gordon
AMAI
1999
Springer
15 years 4 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
CGF
1999
123views more  CGF 1999»
15 years 4 months ago
Computer-Generated Graphite Pencil Rendering of 3D Polygonal Models
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...
Mario Costa Sousa, John W. Buchanan
IJCV
1998
238views more  IJCV 1998»
15 years 4 months ago
Feature Detection with Automatic Scale Selection
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...
Tony Lindeberg
JAR
1998
134views more  JAR 1998»
15 years 4 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
« Prev « First page 1325 / 1424 Last » Next »