1884 search results - page 291 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
FAC
2008
14 years 10 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
ITSSA
2006
14 years 10 months ago
2006
Abstract. The practitioners of bioinformatics require increasing sophistication from their software tools to take into account the particular characteristics that make their domain...
TMM
2011
14 years 4 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Biological systems achieve amazing adaptive behavior with local agents performing simple sensing and actions. Modular robots with similar properties can potentially ach...