247 search results - page 10 / 50 » Development graphs - Proof management for structured specifi... |
89
Voted
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
78
Voted
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
123
click to vote
VISUAL
1999
Springer
15 years 3 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
AVI
2004
15 years 1 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
KDD
2009
ACM
15 years 4 months ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...