Sciweavers

5268 search results - page 473 / 1054
» Analysis of Design Process Dynamics
Sort
View
AGP
1995
IEEE
15 years 10 months ago
Domain Independent Ask Approximation in CCP
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
Enea Zaffanella
BIBE
2007
IEEE
150views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
Differential Scoring for Systolic Sequence Alignment
Systolic implementations of dynamic programming solutions that utilize a similarity matrix can achieve appreciable performance with both course- and fine-grain parallelization. A ...
Antonio E. de la Serna
ROBOCUP
1999
Springer
157views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
Big Red: The Cornell Small League Robot Soccer Team
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
Raffaello D'Andrea, Jin-Woo Lee, Andrew Hoffman, A...
CIKM
2007
Springer
16 years 1 months ago
Link analysis using time series of web graphs
Link analysis is a key technology in contemporary web search engines. Most of the previous work on link analysis only used information from one snapshot of web graph. Since commer...
Lei Yang, Lei Qi, Yan-Ping Zhao, Bin Gao, Tie-Yan ...
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
16 years 10 days ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff