Sciweavers

1608 search results - page 124 / 322
» Functional Understanding Based on an Ontology of Functional ...
Sort
View
CAINE
2008
13 years 9 months ago
Scripted Artificially Intelligent Basic Online Tactical Simulation
For many years, introductory Computer Science courses have followed the same teaching paradigms. These paradigms utilize only simple console windows; more interactive approaches t...
Jesse D. Phillips, Roger V. Hoang, Joseph D. Mahsm...
ICFP
2001
ACM
14 years 8 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
CVPR
2005
IEEE
14 years 10 months ago
Energy Minimization via Graph Cuts: Settling What is Possible
The recent explosion of interest in graph cut methods in computer vision naturally spawns the question: what energy functions can be minimized via graph cuts? This question was fi...
Daniel Freedman, Petros Drineas
HICSS
2003
IEEE
131views Biometrics» more  HICSS 2003»
14 years 1 months ago
Free Riding: A New Challenge to Peer-to-Peer File Sharing Systems
Most of the research in the field of peer-to-peer file sharing systems has concentrated on performance issues such as efficient file lookup, replicating files to improve fil...
Lakshmish Ramaswamy, Ling Liu
DEXAW
2002
IEEE
117views Database» more  DEXAW 2002»
14 years 1 months ago
Tools for Personalised Annotation and Organisation of Diverse Web Resources
The CIPHER project is concerned with developing tools and methodologies to support the exploration of cultural heritage via web-based Cultural Heritage Forums. As part of the proj...
Annika Wolff, Zdenek Zdráhal, Zdenek Kouba