2501 search results - page 280 / 501 » Logics with Rank Operators |
171
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
183
click to vote
CORR
2011
Springer
15 years 29 days ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
147
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
170
click to vote
MIDDLEWARE
2007
Springer
16 years 3 days ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
149
Voted
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Documents formatted in eXtensible Markup Language (XML) are becoming increasingly available in collections of various document types. In this paper, we present an approach for the...