Sciweavers

1045 search results - page 102 / 209
» Stepping into the Interactive Drama
Sort
View
ICFP
2001
ACM
16 years 6 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
MICCAI
2009
Springer
16 years 3 months ago
Fast Automatic Segmentation of the Esophagus from 3D CT Data Using a Probabilistic Model
Automated segmentation of the esophagus in CT images is of high value to radiologists for oncological examinations of the mediastinum. It can serve as a guideline and prevent confu...
Johannes Feulner, Shaohua Kevin Zhou, Alexander Ca...
ICSM
2006
IEEE
16 years 12 days ago
Reengineering User Interfaces of E-Commerce Applications Using Business Processes
E-commerce applications are designed to streamline the business processes for an organization. Graphical user interfaces allow business users to perform daily business activities ...
Qi Zhang, Rongchao Chen, Ying Zou
IV
2005
IEEE
94views Visualization» more  IV 2005»
15 years 12 months ago
Meaning Metaphor for Visualizing Search Results
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
Nicolas Bonnel, Alexandre Cotarmanac'h, Annie Mori...
DFKI
2005
Springer
15 years 12 months ago
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
Martin Meister 0002, Diemo Urbig, Kay Schröte...