Sciweavers

1835 search results - page 188 / 367
» Classifying Description Logics
Sort
View
JUCS
2008
147views more  JUCS 2008»
15 years 4 months ago
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
Afrodita Iorgulescu
JUCS
2007
100views more  JUCS 2007»
15 years 4 months ago
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
Afrodita Iorgulescu
IEEEARES
2008
IEEE
15 years 11 months ago
A Preliminary Investigation of Skype Traffic Classification Using a Minimalist Feature Set
In this work, AdaBoost and C4.5, are employed for classifying Skype direct (UDP and TCP) communications from traffic log files. Pre-processing is applied to the traffic data to ex...
Duffy Angevine, A. Nur Zincir-Heywood
AOSE
2003
Springer
15 years 9 months ago
Temporal Aspects of Dynamic Role Assignment
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
James Odell, H. Van Dyke Parunak, Sven Brueckner, ...
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 8 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner