892 search results - page 63 / 179 » An efficient terminal and model order reduction algorithm |
97
Voted
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
The process of sequential redundancy identification is the cornerstone of sequential synthesis and equivalence checking frameworks. The scalability of the proof obligations inhere...
144
Voted
MOBIWAC
2006
ACM
15 years 8 months ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
129
Voted
EVOW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an application of a hierarchical social (HS) metaheuristic to region-based segmentation. The original image is modelled as a simplified image graph, w...
140
Voted
APNOMS
2006
Springer
15 years 6 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
125
Voted
ISM
2005
IEEE
15 years 8 months ago
2005
IEEE
In order to efficiently deal with the heterogeneity in the current and future multimedia ecosystem, it is necessary that content can be adapted in a format-agnostic manner. A fi...