27274 search results - page 5086 / 5455 » A framework for framework documentation |
185
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
200
click to vote
TSD
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
173
click to vote
VLDB
2007
ACM
16 years 25 days ago
2007
ACM
Virtual reality techniques particularly in the field of CFD (computational fluid dynamics) are of growing importance due to their ability to offer comfortable means to interact...
144
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
182
click to vote
AICCSA
2006
IEEE
16 years 24 days ago
2006
IEEE
Today most multiplayer game servers are pre-located statically, which makes it hard for gamers to find equi-ping hosts for their matches. This is especially important for first per...