1449 search results - page 158 / 290 » Finiteness results for sigmoidal |
165
click to vote
FSKD
2007
Springer
16 years 19 days ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
143
click to vote
ICCS
2007
Springer
16 years 18 days ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
171
click to vote
INFOCOM
2006
IEEE
16 years 14 days ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
244
click to vote
IEEECGIV
2005
IEEE
16 years 1 days ago
2005
IEEE
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...
165
click to vote
IEEESCC
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...