25112 search results - page 393 / 5023 » Data, Information, and Knowledge |
168
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
270
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Most current information extraction (IE) approaches have considered only static text corpora, over which we typically have to apply IE only once. Many real-world text co...
175
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— The search for optimality in the design of channel precoders and training symbols in block processing communication systems is one of paramount importance. Finding the best tra...
177
click to vote
ACNS
2005
Springer
16 years 12 days ago
2005
Springer
We introduce novel techniques for organizing the indexing structures of how data is stored so that alterations from an original version can be detected and the changed values speci...
204
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We present here a method that aims at producing representations of functional brain data on the cortical surface from functional MRI volumes. Such representations are req...