1609 search results - page 292 / 322 » Using Ontologies for Software Development Knowledge Reuse |
116
click to vote
ASP
2005
Springer
15 years 5 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
MKM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
100
click to vote
COBUILD
1998
Springer
15 years 4 months ago
1998
Springer
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
106
click to vote
CORR
1999
Springer
14 years 11 months ago
1999
Springer
A query routing broker is a software agent that determines from a large set of accessing information sources the ones most relevant to a user's information need. As the numbe...
DAC
2005
ACM
16 years 22 days ago
2005
ACM
Device optimization considering supply voltage Vdd and threshold voltage Vt tuning does not increase chip area but has a great impact on power and performance in the nanometer tec...