Sciweavers

10568 search results - page 62 / 2114
» Computer Intelligence and Formalization
Sort
View
COMPUTER
2010
84views more  COMPUTER 2010»
14 years 9 months ago
Really Rethinking 'Formal Methods'
David Lorge Parnas
SAS
1994
Springer
15 years 1 months ago
Estimating the Computational Cost of Logic Programs
Saumya K. Debray, Pedro López-García...
AISC
1998
Springer
15 years 2 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
ATAL
2009
Springer
15 years 4 months ago
Decommitting in multi-agent execution in non-deterministic environment: experimental approach
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
Jirí Vokrínek, Antonín Komend...
IWANN
2009
Springer
15 years 4 months ago
Fuzzy Logic, Soft Computing, and Applications
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Acieg...