Sciweavers

985 search results - page 127 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
JASIS
1998
80views more  JASIS 1998»
15 years 3 months ago
A Distributed Representation Approach to Group Problem Solving
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
Jiajie Zhang
ICLP
2010
Springer
15 years 7 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López
IFIP12
2009
15 years 1 months ago
Defining a Task's Temporal Domain for Intelligent Calendar Applications
Abstract Intelligent calendar assistants have many years ago attracted researchers from the areas of scheduling, machine learning and human computer interaction. However, all effor...
Anastasios Alexiadis, Ioannis Refanidis
KDD
2002
ACM
193views Data Mining» more  KDD 2002»
16 years 4 months ago
Query, analysis, and visualization of hierarchically structured data using Polaris
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
Chris Stolte, Diane Tang, Pat Hanrahan
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 23 days ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard