Sciweavers

2643 search results - page 273 / 529
» Higher order messaging
Sort
View
ESCIENCE
2006
IEEE
15 years 10 months ago
Grid Enabled Problem Solving Environments for Text Categorization
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...
Jian Mei, Wu Zhang, Suge Wang
FMCAD
2006
Springer
15 years 10 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
KDD
2000
ACM
168views Data Mining» more  KDD 2000»
15 years 10 months ago
Scaling up dynamic time warping for datamining applications
There has been much recent interest in adapting data mining algorithms to time series databases. Most of these algorithms need to compare time series. Typically some variation of ...
Eamonn J. Keogh, Michael J. Pazzani
SGP
2004
15 years 9 months ago
Differentiable Parameterization of Catmull-Clark Subdivision Surfaces
Subdivision-based representations are recognized as important tools for the generation of high-quality surfaces for Computer Graphics. In this paper we describe two parameterizati...
Ioana M. Boier-Martin, Denis Zorin
AIPS
2007
15 years 9 months ago
Managing Personal Tasks with Time Constraints and Preferences
This paper treats the problem of managing personal tasks, through an adaptation of the Squeaky Wheel Optimization (SWO) framework, enhanced with powerful heuristics and full const...
Ioannis Refanidis