1763 search results - page 195 / 353 » A Formalization of Polytime Functions |
116
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
111
Voted
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
131
click to vote
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
129
Voted
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
109
click to vote
3DIM
2007
IEEE
15 years 8 months ago
2007
IEEE
We describe a variation of the iterative closest point (ICP) algorithm for aligning two point sets under a set of transformations. Our algorithm is superior to previous algorithms...