269 search results - page 45 / 54 » Applications of MetiTarski in the Verification of Control an... |
RTSS
2005
IEEE
14 years 9 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
JTRES
2010
ACM
13 years 7 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
SP
2002
IEEE
13 years 6 months ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
VISUALIZATION
2002
IEEE
13 years 11 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
MMAS
2004
Springer
14 years 2 days ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...