1763 search results - page 342 / 353 » A Formalization of Polytime Functions |
ACE
2004
14 years 18 days ago
2004
The 2002 SIGCOMM Workshop on Educational Challenges for Computer Networking [Kur02a] exposed many issues related to teaching computer networking with the need for a laboratory in ...
ECIS
2004
14 years 18 days ago
2004
The banking landscape in Europe and Germany has a polypolistic market structure with an average vertical range of integration of 80%, implying high process redundancies. Accumulat...
LWA
2004
14 years 17 days ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
IJCAI
2003
14 years 17 days ago
2003
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
WSC
2004
14 years 17 days ago
2004
This research investigates Speech Acts performed in the war film Platoon. It aims at finding details about the types of speech acts, their form and how they are expressed by the i...