7681 search results - page 132 / 1537 » Typed Membrane Systems |
198
Voted
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
157
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we consider visual feedback attitude synchronization in leader-follower type visibility structures in SE(3). We first define visual robotic networks consisting of the...
231
click to vote
HAIS
2011
Springer
14 years 10 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
194
click to vote
ACL
2012
13 years 9 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
153
click to vote
ENTCS
2002
15 years 6 months ago
2002
We show that the basic feasible functions of Cook and Urquhart's BFF [8,9] are precisely the functionals definable in a natural system of ramified recurrence that uses type i...