7921 search results - page 866 / 1585 » Process Modeling in Web Applications |
142
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
140
click to vote
AH
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
126
Voted
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...
135
Voted
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
166
Voted
GLVLSI
2000
IEEE
15 years 9 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...