3799 search results - page 534 / 760 » An Engineering Approach to Formal Methods |
136
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
180
click to vote
CSSW
2007
15 years 8 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
152
click to vote
VMV
2008
15 years 8 months ago
2008
We present in this paper a GPU-accelerated particle filter based on pixel-level segmentation and matching, for real-time object tracking. The proposed method achieves real-time pe...
175
click to vote
COLING
1994
15 years 8 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
183
click to vote
JECR
2000
15 years 6 months ago
2000
Electronic Commerce (EC) and Supply Chain Management (SCM) are fundamental strategic concepts when businesses are forging links with their suppliers and customers. This article an...