1626 search results - page 209 / 326 » Subtyping with Power Types |
131
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
If motion estimation can choose the most suitable algorithm according to the changing characteristics of input image signals, we can get benefits, which improve quality and perfor...
154
Voted
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
147
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
198
click to vote
VIS
2009
IEEE
16 years 2 months ago
2009
IEEE
Simulation and computation in chemistry studies have been improved as computational power has increased over decades. Many types of chemistry simulation results are available, from...
140
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
This article explores the operation of warrants, connections between online and real-world identities, on deceptive behavior in computer-mediated communication. A survey of 132 pa...