Sciweavers

24451 search results - page 4592 / 4891
» Research methods in information
Sort
View
161
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 6 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
JPDC
2006
187views more  JPDC 2006»
15 years 6 months ago
Maximum lifetime data sensing and extraction in energy constrained networked sensor systems
We focus on data gathering problems in energy constrained networked sensor systems. The system operates in rounds where a subset of the sensors generate a certain number of data p...
Bo Hong, Viktor K. Prasanna
JVCIR
2006
126views more  JVCIR 2006»
15 years 6 months ago
Efficient intra- and inter-mode selection algorithms for H.264/ AVC
Intra-frame mode selection and inter-frame mode selection are new features introduced in the H.264 standard. Intra-frame mode selection dramatically reduces spatial redundancy in ...
Andy C. Yu, King Ngi Ngan, Graham R. Martin
MVA
2008
15 years 6 months ago
Retrieving articulated 3-D models using medial surfaces
Abstract We consider the use of medial surfaces to represent symmetries of 3-D objects. This allows for a qualitative abstraction based on a directed acyclic graph of components an...
Kaleem Siddiqi, Juan Zhang, Diego Macrini, Ali Sho...
NAR
2008
122views more  NAR 2008»
15 years 6 months ago
SIMAP - structuring the network of protein similarities
Protein sequences are the most important source of evolutionary and functional information for new proteins. In order to facilitate the computationally intensive tasks of sequence...
Thomas Rattei, Patrick Tischler, Roland Arnold, Fr...
« Prev « First page 4592 / 4891 Last » Next »