Sciweavers

4854 search results - page 136 / 971
» It's the Programming, Stupid
Sort
View
191
Voted
LPNMR
2004
Springer
16 years 9 days ago
Logic Programs With Monotone Cardinality Atoms
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Trus...
173
Voted
XPU
2004
Springer
16 years 8 days ago
Extreme Programming in Curriculum: Experiences from Academia and Industry
Since the rise of the light weight software processes, the paradigm on how software should be developed has started to shift. Agile methods strive to supersede the traditional soft...
Matthias M. Müller, Johannes Link, Roland San...
CAEPIA
2003
Springer
16 years 5 days ago
Towards Biresiduated Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
Jesús Medina, Manuel Ojeda-Aciego, Agust&ia...
173
Voted
HICSS
2002
IEEE
112views Biometrics» more  HICSS 2002»
15 years 12 months ago
Investigating Telemedicine Developments in Taiwan: Implications for Telemedicine Program Management
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...
Paul Jen-Hwa Hu, Chih-Ping Wei, Tsang-Hsiang Cheng
212
Voted
BIRTHDAY
2000
Springer
15 years 11 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner