Sciweavers

5377 search results - page 820 / 1076
» Programming Languages For Interactive Computing
Sort
View
ACII
2005
Springer
15 years 6 months ago
A Composite Method to Extract Eye Contour
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
Ke Sun, Hong Wang 0004
COMMA
2006
15 years 5 months ago
A dialectic procedure for sceptical, assumption-based argumentation
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
Phan Minh Dung, Paolo Mancarella, Francesca Toni
BIRTHDAY
2010
Springer
15 years 4 months ago
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 4 months ago
Liberalizing Dependency
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
Avik Chaudhuri
126
Voted
HPDC
2009
IEEE
15 years 1 months ago
Automatic titling for international sporting events
In sporting event transmissions of international significance, broadcasting in each country is carried out by the owner of the rights for that particular country. The output signa...
Jesús Martínez Barbero, Eugenio Sant...