3815 search results - page 136 / 763 » An Implementation of Session Types |
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
HCI
2011
12 years 11 months ago
2011
Abstract. Brain computer interfaces (BCI) that use the steady-statevisual-evoked-potential (SSVEP) as neural source, offer two main advantages over other types of BCIs: shorter ca...
AICCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
− A behavior-based control and learning architecture is proposed, where reinforcement learning is applied to learn proper associations between stimulus and response by using two ...