Sciweavers

1075 search results - page 38 / 215
» On Singular Interval Systems
Sort
View
118
Voted
SRDS
2000
IEEE
15 years 8 months ago
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
Jerzy Brzezinski, Michal Sajkowski
125
Voted
BSN
2009
IEEE
149views Sensor Networks» more  BSN 2009»
15 years 10 months ago
Optimizing Interval Training Protocols Using Data Mining Decision Trees
— Interval training consists of interl intensity exercises with rest periods. This training well known exercise protocol which helps stre improve one’s cardiovascular fitness. ...
Myung-kyung Suh, Mahsan Rofouei, Ani Nahapetian, W...
AIR
2004
126views more  AIR 2004»
15 years 3 months ago
Interval Relations in Lexical Semantics of Verbs
Numerous temporal relations of verbal actions have been analysed in terms of various grammatical means of expressing verbal temporalisation such as tense, aspect, duration and iter...
Minhua Ma, Paul McKevitt
ATVA
2004
Springer
146views Hardware» more  ATVA 2004»
15 years 9 months ago
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teru...
NETGAMES
2005
ACM
15 years 9 months ago
Packetization interval of haptic media in networked virtual environments
This paper deals with the packetization interval of haptic media in networked virtual environments. We here handle work in which a user moves an object by manipulating a haptic in...
Masaki Fujimoto, Yutaka Ishibashi