5378 search results - page 301 / 1076 » Base Logics in Argumentation |
149
click to vote
SOCRATES
2008
15 years 8 months ago
2008
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
192
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
191
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
We present a modification of the vehicle routing problem with the additional restriction that time windows are associated with each customer by defining an interval wherein the cu...
175
click to vote
ENGL
2006
15 years 6 months ago
2006
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...
133
click to vote
MSCS
2006
15 years 6 months ago
2006
We define a sequent calculus corresponding to the logic of strongly compact closed categories with biproducts. Based on this calculus, we define a proof-net syntax with ly normali...