Sciweavers

41 search results - page 5 / 9
» ijcsa 2006
Sort
View
IJCSA
2007
104views more  IJCSA 2007»
13 years 7 months ago
Solving the Satisfiability Problem Using Finite Learning Automata
A large number of problems that occur in knowledge-representation, learning, VLSI-design, and other areas of artificial intelligence, are essentially satisfiability problems. The ...
Ole-Christoffer Granmo, Noureddine Bouhmala
IJCSA
2010
110views more  IJCSA 2010»
13 years 6 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider
IJCSA
2008
104views more  IJCSA 2008»
13 years 7 months ago
Artificial Intelligence and Bluetooth Techniques in a Multi-user M-learning Domain
In this paper we present a practical implementation of a multiuser technical laboratory that combines Artificial Intelligence (AI) and Bluetooth (BT) techniques. The objective is ...
Bonifacio Castaño, Angel Moreno, Melquiades...
IJCSA
2006
96views more  IJCSA 2006»
13 years 7 months ago
Assistance Tool for Conflicts Resolution Through Technical Negotiation
A conflict is a common phenomenon that results from the interaction between both individuals and groups of individuals. For the development of knowledge-based systems, one needs t...
Karima Akli-Astouati
IJCSA
2006
77views more  IJCSA 2006»
13 years 7 months ago
Formal Approach for the Coherence Control of SMIL Documents
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
S. Mazouz, D. Dahmani, L. Kaddouri