4693 search results - page 828 / 939 » Verifying Hybrid Systems |
123
Voted
CVIU
2006
15 years 22 days ago
2006
This paper describes a variational method with active curve evolution and level sets for the estimation, segmentation, and 3D interpretation of optical flow generated by independe...
81
Voted
FGCS
2006
15 years 22 days ago
2006
Emerging large-scale applications for e-science and Grid require end-to-end lightpaths that need to be dynamically provisioned with QoS (quality of service) guarantees. In this pa...
106
Voted
IJON
2008
15 years 21 days ago
2008
The dynamical behavior and the stability properties of fixed points in a feedback auto-associative memory are investigated. The proposed structure encompasses a multi-layer percep...
92
Voted
CONCURRENCY
2007
15 years 21 days ago
2007
The Knowledge Environment for Collaborative Science (KnECS) is an open source informatics toolkit designed to enable knowledge grids that interconnect science communities, unique ...
120
click to vote
INTERNET
2006
15 years 21 days ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...