354 search results - page 60 / 71 » Consistency between Executable and Abstract Processes |
COGSYS
2005
Springer
13 years 12 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
DAGSTUHL
1997
13 years 11 months ago
1997
This paper presents a technique for local surface extraction from scalar and vector fields using deformable surfaces. The goal of surface extraction is often to find features, o...
PIMRC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--In two-tier networks consisting of a macrocell overlaid with femtocells in co-channel deployment and closed-access policy, spatial reuse is achieved at the price of sever...
TREC
2003
13 years 11 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
SEUS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...