1999 search results - page 177 / 400 » Dependently Typed Grammars |
144
click to vote
COMPUTER
2008
15 years 6 months ago
2008
ors induce aptitudes: abstract skills and knowledge. Mentors foster attitudes: social skills and graces. In my experience of school, starting 70 years or so ago, quite regimented i...
157
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
184
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
177
click to vote
ICMCS
2008
IEEE
16 years 26 days ago
2008
IEEE
Key frames play an important role in video abstraction. Clustering is a popular approach for key-frame extraction. In this paper, we propose a novel method for key-frame extractio...
136
click to vote
PRDC
2006
IEEE
16 years 13 days ago
2006
IEEE
End-to-end consensus ensures delivery of the same value to the application layer running in distributed processes. Deliveries that have not been acknowledged by the application be...