12981 search results - page 2055 / 2597 » Model Checking (Abstract) |
214
click to vote
DBKDA
2010
IEEE
16 years 16 days ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
209
click to vote
ECCV
2010
Springer
16 years 15 days ago
2010
Springer
Abstract. We describe an efficient approach to construct shape models composed of contour parts with partially-supervised learning. The proposed approach can easily transfer parts ...
202
click to vote
ICPPW
2002
IEEE
16 years 11 days ago
2002
IEEE
Abstract—In this paper, we address the issue of transmission power control in wireless ad-hoc networks. In general, it is assumed that minimum transmission power achieves the opt...
211
click to vote
INFOCOM
2002
IEEE
16 years 11 days ago
2002
IEEE
Abstract— In [1], Gupta and Kumar determined the capacity of wireless networks under certain assumptions, among them point-to-point coding, which excludes for example multi-acces...
224
click to vote
ISSS
2002
IEEE
16 years 11 days ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...