Sciweavers

1561 search results - page 257 / 313
» Mobile Process Support Systems - Experiences from a case stu...
Sort
View
EUROMICRO
2005
IEEE
14 years 2 months ago
Developing Content-Intensive Applications with XML Documents, Document Transformations and Software Components
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
José Luis Sierra, Alfredo Fernández-...
CONCUR
2004
Springer
14 years 2 months ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
LISP
2006
160views more  LISP 2006»
13 years 8 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
ICASSP
2011
IEEE
13 years 19 days ago
A learning-based approach to explosives detection using Multi-Energy X-Ray Computed Tomography
In this paper we consider the task of classifying materials into explosives and non-explosives according to features obtainable from Multi-Energy X-ray Computed Tomography (MECT) ...
Limor Eger, Synho Do, Prakash Ishwar, W. Clem Karl...
CSCW
2006
ACM
14 years 2 months ago
SIDES: a cooperative tabletop computer game for social skills development
This paper presents a design case study of SIDES: Shared Interfaces to Develop Effective Social Skills. SIDES is a tool designed to help adolescents with Asperger’s Syndrome pra...
Anne Marie Piper, Eileen O'Brien, Meredith Ringel ...