30 search results - page 3 / 6 » cic 2006 |
CIC
2006
13 years 7 months ago
2006
- This paper describes the design and implementation of desktop video conference system using client-server and P2P(Peer to Peer). This systems is based on a client-server and P2P ...
CIC
2006
13 years 7 months ago
2006
Real-time multimedia conferencing tools over the Internet have become attractive in the past few years. Many tools, such as VIC and Windows NetMeeting, have been designed to hold I...
JAR
2010
13 years 4 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
CIC
2006
13 years 7 months ago
2006
In this paper, synchronization of two chaotic signals is studied and analyzed. A nonlinear recursive backstepping scheme is utilized to design an appropriate control input signal ...
CIC
2006
13 years 7 months ago
2006
Ethernet is the most widely used network and many analytical models were developed to predict its capacity. Usually in these models assumptions like infinite population, no back-of...