Sciweavers

4135 search results - page 587 / 827
» Application Modeling for the Semantic Web
Sort
View
FDL
2005
IEEE
16 years 8 days ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
16 years 25 days ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
CVPR
2006
IEEE
16 years 8 months ago
The Design of High-Level Features for Photo Quality Assessment
1 We propose a principled method for designing high level features for photo quality assessment. Our resulting system can classify between high quality professional photos and low...
Yan Ke, Xiaoou Tang, Feng Jing
WIDM
2006
ACM
16 years 18 days ago
The GEON portal: accelerating knowledge discovery in the geosciences
Geoscience studies produce data from various observations, experiments, and simulations at an enormous rate. With proliferation of applications and data formats, the geoscience re...
Ullas Nambiar, Bertram Ludäscher, Kai Lin, Ch...