5200 search results - page 727 / 1040 » Symbolic models for control systems |
201
Voted
DBSEC
2003
15 years 8 months ago
2003
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
216
Voted
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Several studies dealt with medical ultrasound registration. Their similarity metrics relied on pixel-to-pixel intensity comparisons. Hence, they are not well suited to the case...
182
click to vote
SAC
2004
ACM
16 years 27 days ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
177
Voted
RTSS
2002
IEEE
16 years 11 days ago
2002
IEEE
The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo...
194
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
— Models of biochemical reaction networks can be decomposed into a stoichiometric part and a kinetic part. The stoichiometric part describes the structural mass flows while the ...