11151 search results - page 228 / 2231 » On the Complexity of Model Expansion |
200
click to vote
DLT
2003
15 years 8 months ago
2003
In recent years generalized acceptance criteria for different nondeterministic computation models have been examined. Instead of the common definition where an input word is said...
181
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
174
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
172
click to vote
MICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
188
click to vote
3DGIS
2006
Springer
16 years 25 days ago
2006
Springer
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...