3515 search results - page 481 / 703 » On the semantics of Strategy Logic |
209
click to vote
FPL
2006
Springer
15 years 11 months ago
2006
Springer
A Field Programmable Gate Array (FPGA), when used as a platform for implementing special-purpose computing architectures, offers the potential for increased functional parallelism...
216
click to vote
ERCIMDL
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
199
Voted
JACM
2000
15 years 7 months ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
196
click to vote
JAIR
2010
15 years 5 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
246
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...