2328 search results - page 184 / 466 » Component Frameworks - A Case Study |
165
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Ever increasing efforts are spent in developing techniques and tools for a full exploitation of semantics in mobile environments, able to overcome volatility and resource limitati...
144
click to vote
EMISA
2009
Springer
16 years 22 days ago
2009
Springer
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...
186
Voted
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
157
click to vote
ATVA
2007
Springer
16 years 10 days ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
151
Voted
JMIV
2010
15 years 4 months ago
2010
Motivated by the setting of reproducing kernel Hilbert space (RKHS) and its extensions considered in machine learning, we propose an RKHS framework for image and video colorizatio...