Sciweavers

130 search results - page 17 / 26
» On vector autoregressive modeling in space and time
Sort
View
BIRTHDAY
2010
Springer
15 years 23 days ago
Choiceless Computation and Symmetry
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
Benjamin Rossman
100
Voted
ENTCS
2008
132views more  ENTCS 2008»
14 years 11 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
TSMC
2002
110views more  TSMC 2002»
14 years 11 months ago
Complexity reduction for "large image" processing
We present a method for sampling feature vectors in large (e.g., 2000 5000 16 bit) images that finds subsets of pixel locations which represent "regions" in the image. Sa...
Nikhil R. Pal, James C. Bezdek
JCIT
2010
182views more  JCIT 2010»
14 years 6 months ago
CT-Rank: A Time-aware Ranking Algorithm for Web Search
Time plays important roles in Web search, because most Web pages contain time information and a lot of Web queries are time-related. However, traditional search engines such as Go...
Peiquan Jin, Xiaowen Li, Hong Chen, Lihua Yue
MICCAI
2008
Springer
16 years 25 days ago
A Novel Explicit 2D+t Cyclic Shape Model Applied to Echocardiography
In this paper, we propose a novel explicit 2D+t cyclic shape model that extends the Point Distribution Model (PDM) to shapes like myocardial contours with cyclic dynamics. We also ...
Ramón Casero, J. Alison Noble