Sciweavers

124 search results - page 15 / 25
» Merging multiple conventional models in one stable model
Sort
View
CTCS
1989
Springer
15 years 1 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002
VTC
2007
IEEE
121views Communications» more  VTC 2007»
15 years 3 months ago
Downlink Traffic Power Characterization for Multi-Rate Wireless CDMA Data Networks
— The characterization of downlink traffic power is an important issue for the design of efficient call admission control (CAC) and radio resource management (RRM) procedures. In...
Ashraf S. Hasan Mahmoud
95
Voted
INFOCOM
2000
IEEE
15 years 1 months ago
Peering and Provisioning of Differentiated Internet Services
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...
Nemo Semret, Raymond R.-F. Liao, Andrew T. Campbel...
ENTCS
2006
139views more  ENTCS 2006»
14 years 9 months ago
Improving the Usability of a Graph Transformation Language
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel B...
IROS
2008
IEEE
187views Robotics» more  IROS 2008»
15 years 3 months ago
Monocular visual odometry in urban environments using an omnidirectional camera
— We present a system for Monocular Simultaneous Localization and Mapping (Mono-SLAM) relying solely on video input. Our algorithm makes it possible to precisely estimate the cam...
Jean-Philippe Tardif, Yanis Pavlidis, Kostas Danii...