Sciweavers

1915 search results - page 61 / 383
» A language for functional interpretation of model based simu...
Sort
View
HYBRID
1998
Springer
14 years 1 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
14 years 28 days ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
WWW
2002
ACM
14 years 10 months ago
RQL: a declarative query language for RDF
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
Gregory Karvounarakis, Sofia Alexaki, Vassilis Chr...
CDC
2009
IEEE
221views Control Systems» more  CDC 2009»
14 years 1 months ago
Parametrization invariant covariance quantification in identification of transfer functions for linear systems
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
Tzvetan Ivanov, Michel Gevers
BIBE
2004
IEEE
179views Bioinformatics» more  BIBE 2004»
14 years 29 days ago
Incorporating Ontology-Driven Similarity Knowledge into Functional Genomics: An Exploratory Study
This research explores the feasibility of semantic similarity approaches to supporting predictive tasks in functional genomics. It aims to establish potential relationships betwee...
Francisco Azuaje, Olivier Bodenreider