2752 search results - page 152 / 551 » Rounding to an Integral Program |
ICWL
2007
Springer
14 years 4 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
WCFLP
2005
ACM
14 years 3 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
PROMAS
2005
Springer
14 years 3 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
PDC
2004
ACM
14 years 3 months ago
2004
ACM
Over the past seven years, we have been conducting a variety of participatory design activities with research biologists, programmers, and bioinformaticians at the Institut Pasteu...