2501 search results - page 197 / 501 » Logics with Rank Operators |
143
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
124
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
: Asynchronous circuits are often presented as a means of achieving low power operation. We investigate their suitability for low-energy applications, where long battery life and d...
148
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
156
click to vote
ACL
1989
15 years 5 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
142
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Consideration sets provide a standard tool for the exploration of consumer choice. It is appropriate to analyze it as a fuzzy set because not all the brands of a certain category o...