Sciweavers

6047 search results - page 89 / 1210
» Modeling with Extend
Sort
View
118
Voted
GLOBECOM
2010
IEEE
14 years 11 months ago
Modeling and Analysis for Reactive-Decision Spectrum Handoff in Cognitive Radio Networks
This paper investigates how to characterize the effect of multiple spectrum handoff delay on the extended data delivery time of the secondary users' connections in cognitive r...
Chung-Wei Wang, Li-Chun Wang, Fumiyuki Adachi
146
Voted
DAGSTUHL
1993
15 years 3 months ago
Syntax and Semantics of Hybrid Database Languages
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
Marc Andries, Gregor Engels
JUCS
2008
138views more  JUCS 2008»
15 years 1 months ago
CIAM: A Methodology for the Development of Groupware User Interfaces
: The design of the groupware systems is a progressively extended task, which is difficult to tackle. There are not proposals to support the joint modeling of collaborative and int...
Ana I. Molina, Miguel A. Redondo, Manuel Ortega, U...
ISMVL
2003
IEEE
117views Hardware» more  ISMVL 2003»
15 years 7 months ago
CTL Model-Checking over Logics with Non-Classical Negations
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
Marsha Chechik, Wendy MacCaull
96
Voted
CYS
1999
145views more  CYS 1999»
15 years 1 months ago
Eels: Electric Snakes
This paper presents the incorporation of a new internal force for active contours. This internal force is generated by an electric charge, distributed all-over the active contour....
Antonio Marín-Hernández, Homero V. R...