Sciweavers

11374 search results - page 66 / 2275
» A System Demonstration of ST-TCP
Sort
View
ACL
2010
15 years 4 months ago
Beetle II: A System for Tutoring and Computational Linguistics Experimentation
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...
Myroslava Dzikovska, Johanna D. Moore, Natalie B. ...
CASC
2011
Springer
212views Mathematics» more  CASC 2011»
14 years 6 months ago
Semi-algebraic Description of the Equilibria of Dynamical Systems
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
Changbo Chen, Marc Moreno Maza
ICDE
2008
IEEE
140views Database» more  ICDE 2008»
16 years 7 months ago
Graphitti: An Annotation Management System for Heterogeneous Objects
Annotation is the process of supplementing data with additional information that was not part of the actual observation, but reflects post-facto comments and associations made by a...
Sandeep Gupta, Christopher Condit, Amarnath Gupta
ICDE
1997
IEEE
121views Database» more  ICDE 1997»
16 years 7 months ago
A Persistent Hyper-Programming System
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
Graham N. C. Kirby, Ronald Morrison, David S. Munr...
DELTA
2006
IEEE
16 years 1 days ago
Static Code Analysis of Functional Descriptions in SystemC
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
Martin Holzer 0002, Markus Rupp