2203 search results - page 275 / 441 » Temporal Abstract Interpretation |
140
click to vote
TCS
2008
15 years 3 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
119
click to vote
TFS
2008
15 years 3 months ago
2008
Abstract--This paper proposes a new method of merging parameterized fuzzy sets based on clustering in the parameters space, taking into account the degree of inclusion of each fuzz...
133
click to vote
TON
2008
15 years 3 months ago
2008
Abstract--Recent spates of cyber-attacks and frequent emergence of applications affecting Internet traffic dynamics have made it imperative to develop effective techniques that can...
TSP
2008
15 years 3 months ago
2008
Abstract--This paper addresses the robustness of adaptive narrowband beamforming with respect to bandwidth based on the loss of performance in terms of signal-to-interference-plus-...
142
click to vote
UAIS
2002
15 years 3 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...