Sciweavers

1552 search results - page 90 / 311
» Concepts and Concept-Oriented Programming
Sort
View
ICCS
2004
Springer
14 years 3 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
AISC
2010
Springer
14 years 2 months ago
Formal Proof of SCHUR Conjugate Function
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
Franck Butelle, Florent Hivert, Micaela Mayero, Fr...
VISUALIZATION
2000
IEEE
14 years 2 months ago
New techniques for topologically correct surface reconstruction
We present a new approach to surface reconstruction based on the Delaunay complex. First we give a simple and fast algorithm that picks locally a surface at each vertex. For that,...
Udo Adamy, Joachim Giesen, Matthias John
SIGCSE
1999
ACM
119views Education» more  SIGCSE 1999»
14 years 2 months ago
Computer science and general education: Java, graphics, and the Web
We describe a Computer Science General Education course offered at Hope College. This course stressesproblem-solving. It uses traditional concepts of programming, but does it with...
Gordon Stegink, Jon Pater, Daron Vroon II
ENTCS
2002
157views more  ENTCS 2002»
13 years 9 months ago
Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
Michael Schroeder, Ralf Schweimeier