10159 search results - page 1725 / 2032 » System Design Validation Using Formal Models |
175
click to vote
ACL
1994
15 years 8 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
178
click to vote
MOBIWAC
2009
ACM
16 years 1 months ago
2009
ACM
Understanding how humans move is a key factor for the design and evaluation of networking protocols and mobility management solutions in mobile networks. This is particularly true...
174
click to vote
IJRR
2010
15 years 4 months ago
2010
The tip asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. This enables robotic needle steering, which can be used in me...
213
click to vote
MOBICOM
2004
ACM
16 years 4 days ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
308
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...