6693 search results - page 952 / 1339 » Methods of Automatic Algorithm Generation |
140
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
170
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
–The OBSERVER is a video surveillance system that detects and predicts abnormal behaviors aiming at the intelligent surveillance concept. The system acquires color images from a ...
122
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Image-based full body 3D reconstruction for tele-immersive applications generates large amount of data points, which have to be sent through the network in real-time. In ...
168
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...
134
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In ad hoc wireless networks, a successful broadcasting requires that the nodes forwarding the broadcast packet form a connected dominating set to ensure the coverage. An efficien...