1689 search results - page 113 / 338 » On Natural Non-dcpo Domains |
143
click to vote
WSC
1998
15 years 7 months ago
1998
The United States Marine Corps has a unique role in development of the next-generation warfare gaming system for command staff training. This system, titled the Joint Simulation S...
136
click to vote
WSC
1998
15 years 7 months ago
1998
The word "scalability" is used in a variety of ways by different simulation communities. This paper describes some of the more common usages and presents a general, unif...
114
click to vote
APVIS
2009
15 years 7 months ago
2009
This work introduces a novel streamline seeding technique based on dual streamlines that are orthogonal to the vector field, instead of tangential. The greedy algorithm presented ...
174
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
163
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...