Result 1 to 20 of 60 total
Formalizing dialectical reasoning for compromise-based justification (English)
ICAART (1), 355-363 (2011).
1
Optimizing $\text{mkb}_{\text{TT}}$. (English)
Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11‒13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPICS ‒ Leibniz International Proceedings in Informatics 6, 373-384, electronic only (2010).
2
High-speed maximum power point tracker for photovoltaic systems using online learning neural networks. (English)
J. Adv. Comput. Intell. Intell. Inform. 14, No. 6, 677-682 (2010).
3
A tool for visualizing the behavior of fuzzy constraint satisfaction solvers. (English)
J. Adv. Comput. Intell. Intell. Inform. 14, No. 5, 425-430 (2010).
4
Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms. (English)
J. Heuristics 16, No. 1, 23-36 (2010).
5
Multi-context rewriting induction with termination checkers (English)
IEICE Transactions 93-D, No. 5, 942-952 (2010).
6
Simulation of consensus formation models based on structural modeling (English)
SMC, 601-607 (2010).
7
The use of system security description method in security design assement: A case study (English)
SMC, 350-357 (2010).
8
Improvement and implementation of keyword programming (English)
SMC, 474-480 (2010).
9
Optimizing mkbtt (English)
RTA, 373-384 (2010).
10
A method for describing structure of system security based on trust and authentication (English)
ACIS-ICIS, 83-90 (2010).
11
Quick maximum power point tracking of photovoltaic using online learning neural network. (English)
Leung, Chi Sing (ed.) et al., Neural information processing. 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1‒5, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-10676-7/pbk). Lecture Notes in Computer Science 5863, 606-613 (2009).
12
Computational dialectics based on specialization and generalization ‒ a new reasoning method for conflict resolution. (English)
Hattori, Hiromitsu (ed.) et al., New frontiers in artificial intelligence. JSAI 2008 conference and workshops, Asahikawa, Japan, June 11‒13, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00608-1/pbk). Lecture Notes in Computer Science 5447. Lecture Notes in Artificial Intelligence, 228-241 (2009).
13
Constraint-based multi-completion procedures for term rewriting systems (English)
IEICE Transactions 92-D, No. 2, 220-234 (2009).
14
Personalizing graphical user interfaces on flexible widget layout (English)
EICS, 255-264 (2009).
15
User-friendly GUI in software model checking (English)
SMC, 468-473 (2009).
16
Quick maximum power point tracking of photovoltaic using online learning neural network (English)
ICONIP (1), 606-613 (2009).
17
Multi-completion with termination tools. (System description). (English)
Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12‒15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 306-312 (2008).
18
Electrochromic thin film of water-dispersible prussian-blue nanoparticles (English)
IEICE Transactions 91-C, No. 12, 1887-1888 (2008).
19
Multi-completion with termination tools (System description) (English)
IJCAR, 306-312 (2008).
20
Result 1 to 20 of 60 total
Start
Contact
Print
General Help
