2125 search results - page 253 / 425 » Points with Type-2 Operations |
155
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
154
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...
163
click to vote
CVIU
2008
15 years 4 months ago
2008
This paper presents a novel framework for matching video sequences using the spatiotemporal segmentation of videos. Instead of using appearance features for region correspondence ...
165
click to vote
PAMI
2008
15 years 4 months ago
2008
Detecting different categories of objects in image and video content is one of the fundamental tasks in computer vision research. The success of many applications such as visual s...
140
click to vote
ADHOC
2005
15 years 4 months ago
2005
- The IEEE 802.11 standard is the most popular Medium Access Control (MAC) protocol for wireless local area networks. However, in an ad-hoc environment, the Point Coordination Func...