450 search results - page 54 / 90 » Mathematical Formulas Extraction |
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
IDEAS
2009
IEEE
14 years 4 months ago
2009
IEEE
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...
LCN
2008
IEEE
14 years 4 months ago
2008
IEEE
—Tag collisions can impose a major delay in Radio Frequency IDentification (RFID) systems. Such collisions are hard to overcome with passive tags due to their limited capabiliti...
HAPTICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Haptic interactions with stiff virtual surfaces feel more realistic when a short-duration transient is added to the spring force at contact. But how should this event-based transi...
ISCC
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we investigate some of the issues that arise when mobile nodes engage voice connections with remote peers by using a wireless ad hoc network (MANET–cell) to acces...