default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 68
Volume 68, Number 1-2, 2005
- Mariusz Boryczka:
Eliminating Introns in Ant Colony Programming. 1-19 - Alfredo Burrieza, Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. 21-46 - Eugene Eberbach:
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems. 47-102 - Harald Fecher, Mila E. Majster-Cederbaum:
Event Structures for Arbitrary Disruption. 103-130 - Mark-Oliver Stehr:
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. 131-174 - Józef Winkowski:
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. 175-206
Volume 68, Number 3, 2005
- Chin-Chen Chang, Chi-Shiang Chan:
An Inverse Halftoning Technique Using Modified Look-Up Tables. 207-220 - Ewa Palka:
On Finite Model Property of the Equational Theory of Kleene Algebras. 221-230 - Michael Stay:
Very Simple Chaitin Machines for Concrete AIT. 231-247 - Mark-Oliver Stehr:
The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. 249-288 - Guoyin Wang, Jun Zhao, Jiu-Jiang An, Yu Wu:
A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction. 289-301
Volume 68, Number 4, 2005
- Igor Bocharov, Pavel Lukin:
Information Divergence Criterion in Speech Signal Recognition. 303-313 - Chih-Yang Lin, Chin-Chen Chang, Chia-Chen Lin:
A New Density-Based Scheme for Clustering Based on Genetic Algorithm. 315-331 - Timo Poranen:
A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem. 333-356 - Guilin Qi, Peter Milligan, Paul Sage:
Incidence Calculus on Lukasiewicz's Three-valued Logic. 357-378 - Marcin Sydow:
Random Surfer with Back Step. 379-398 - Hsien-Chu Wu, Min-Shiang Hwang, Chia-Hsin Liu:
A Secure Strong-Password Authentication Protocol. 399-406
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
