Sciweavers

8676 search results - page 1700 / 1736
» A Feature Model for an IDE4OCL
Sort
View
NAR
2002
98views more  NAR 2002»
15 years 4 months ago
Recent improvements to the SMART domain-based sequence annotation resource
SMART (Simple Modular Architecture Research Tool, http://smart.embl-heidelberg.de) is a web-based resource used for the annotation of protein domains and the analysis of domain ar...
Ivica Letunic, Leo Goodstadt, Nicholas J. Dickens,...
SIAMCO
2002
121views more  SIAMCO 2002»
15 years 4 months ago
Consistent Approximations and Approximate Functions and Gradients in Optimal Control
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
Olivier Pironneau, Elijah Polak
TIP
1998
142views more  TIP 1998»
15 years 4 months ago
Inversion of large-support ill-posed linear operators using a piecewise Gaussian MRF
Abstract—We propose a method for the reconstruction of signals and images observed partially through a linear operator with a large support (e.g., a Fourier transform on a sparse...
Mila Nikolova, Jérôme Idier, Ali Moha...
TSE
1998
176views more  TSE 1998»
15 years 4 months ago
Constructive Protocol Specification Using Cicero
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
Yen-Min Huang, Chinya V. Ravishankar
TCSV
2002
90views more  TCSV 2002»
15 years 4 months ago
Shot-boundary detection: unraveled and resolved?
Partitioning a video sequence into shots is the first step toward video-content analysis and content-based video browsing and retrieval. A video shot is defined as a series of inte...
Alan Hanjalic
« Prev « First page 1700 / 1736 Last » Next »