2609 search results - page 416 / 522 » Models for Global Constraint Applications |
133
Voted
SAFECOMP
2004
Springer
15 years 9 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
116
Voted
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
148
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
145
Voted
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
117
click to vote
RTCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...