Sciweavers

703 search results - page 33 / 141
» Fundamentals of Session Types
Sort
View
CORR
2012
Springer
237views Education» more  CORR 2012»
12 years 3 months ago
Novel Component Based Development Model For Sip-Based Mobile Application
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
Ahmed Barnawi, Abdurrahman H. Al-Talhi, M. Rizwan ...
ECCV
2008
Springer
14 years 9 months ago
General Imaging Geometry for Central Catadioptric Cameras
Catadioptric cameras are a popular type of omnidirectional imaging system. Their imaging and multi-view geometry has been extensively studied; epipolar geometry for instance, is ge...
João P. Barreto, Peter Sturm
CATS
2007
13 years 9 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
VTC
2008
IEEE
150views Communications» more  VTC 2008»
14 years 2 months ago
Impact of Signaling Load on the UMTS Call Blocking/Dropping
— Radio resources in the third generation (3G) wireless cellular networks (WCNs) such as the universal mobile telecommunications system (UMTS) network is limited in term of soft ...
Saowaphak Sasanus, David Tipper, Yi Qian
ICMCS
2007
IEEE
103views Multimedia» more  ICMCS 2007»
14 years 2 months ago
Multimedia Adaptive Computer based Testing: An Overview
Instead of computer games, animations, cartoons, and videos being used only for entertainment by kids, there is now an interest in using multimedia for “innovative testing.” R...
Anup Basu, Irene Cheng, Mun Prasad, Gautam Rao