Sciweavers

1126 search results - page 178 / 226
» Modularity and the Rule of Adaptation
Sort
View
ENGL
2006
157views more  ENGL 2006»
13 years 11 months ago
Dealing with Acronyms in Biomedical Texts
Recently, there has been a growth in the amount of machine readable information pertaining to the biomedical field. With this growth comes a desire to be able to extract informati...
David B. Bracewell, Fuji Ren, Shingo Kuroiwa
IPL
2010
98views more  IPL 2010»
13 years 9 months ago
Distinguishing attacks on stream ciphers based on arrays of pseudo-random words
In numerous modern stream ciphers, the internal state consists of a large array of pseudo-random words, and the output key-stream is a relatively simple function of the state. In ...
Nathan Keller, Stephen D. Miller
PLDI
2011
ACM
13 years 1 months ago
Separation logic + superposition calculus = heap theorem prover
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
Juan Antonio Navarro Pérez, Andrey Rybalche...
VIS
2004
IEEE
139views Visualization» more  VIS 2004»
15 years 3 days ago
Compatible Triangulations of Spatial Decompositions
We describe a general algorithm to produce compatible 3D triangulations from spatial decompositions. Such triangulations match edges and faces across spatial cell boundaries, solv...
Berk Geveci, Mathieu Malaterre, William J. Schroed...
ICPR
2006
IEEE
15 years 7 hour ago
Robust Recursive Learning for Foreground Region Detection in Videos with Quasi-Stationary Backgrounds
Detecting regions of interest in video sequences is the most important task in many high level video processing applications. In this paper a robust technique based on recursive l...
Alireza Tavakkoli, George Bebis, Mircea Nicolescu