11973 search results - page 2158 / 2395 » Methods for organizational development |
179
click to vote
EUPROJECTS
2006
Springer
15 years 10 months ago
2006
Springer
We present a highly accurate method for classifying web pages based on link percentage, which is the percentage of text characters that are parts of links normalized by the number...
187
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
171
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Buffer overflow attacks have been causing serious security problems for decades. With more embedded systems networked, it becomes an important research problem to defend embedded ...
187
click to vote
BIBE
2001
IEEE
15 years 10 months ago
2001
IEEE
As various genome sequencing projects have already been completed or are near completion, genome researchers are shifting their focus from structural genomics to functional genomi...
159
Voted
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...