1501 search results - page 262 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
DFG
2003
Springer
15 years 4 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
PR
2006
14 years 11 months ago
2006
The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linea...
116
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
105
click to vote
IJCAI
2003
15 years 21 days ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
100
click to vote
ESIAT
2009
IEEE
14 years 9 months ago
2009
IEEE
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...