Sciweavers

1965 search results - page 17 / 393
» On the analysis of interacting pushdown systems
Sort
View
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
14 years 3 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
CAINE
2007
13 years 10 months ago
Interactive Thin Shells - A Model Interface for the Analysis of Physically-based Animation
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
James Skorupski, Zoë J. Wood, Alex Pang
GRAPHICSINTERFACE
1997
13 years 10 months ago
Interactive Volumetric Information Visualization
This paper describes a minimallyimmersive threedimensional volumetric interactive information visualizationsystem formanagementand analysis ofdocument corpora. The system, SFA, us...
David S. Ebert, Christopher D. Shaw, Amen Zwa, Eth...
LREC
2010
167views Education» more  LREC 2010»
13 years 10 months ago
On the Role of Discourse Markers in Interactive Spoken Question Answering Systems
This paper presents a preliminary analysis of the role of some discourse markers and the vocalic hesitation euh in a corpus of spoken human utterances collected with the RITEL sys...
Ioana Vasilescu, Sophie Rosset, Martine Adda-Decke...
BMCBI
2007
79views more  BMCBI 2007»
13 years 8 months ago
Genomic scale analysis of lateral gene transfer in Apicomplexan parasites: insights into early eukaryotic evolution, host-pathog
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
Lucia Peixoto, David S. Roos