8828 search results - page 1598 / 1766 » Formal methods in practice |
198
Voted
MOBICOM
2006
ACM
16 years 1 months ago
2006
ACM
It was recently reported that all known face and combined greedy-face routing variants cannot guarantee message delivery in arbitrary undirected planar graphs. The purpose of this...
203
Voted
BIBE
2005
IEEE
16 years 20 days ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
228
click to vote
RTSS
2005
IEEE
16 years 18 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
162
Voted
SIGIR
2005
ACM
16 years 18 days ago
2005
ACM
This paper explores probabilistic lexico-syntactic pattern matching, also known as soft pattern matching. While previous methods in soft pattern matching are ad hoc in computing t...
193
Voted
BIRTHDAY
2005
Springer
16 years 17 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...