4098 search results - page 360 / 820 » Sound mobility models |
172
click to vote
DS
1997
15 years 8 months ago
1997
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
171
click to vote
APAL
2010
15 years 6 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
191
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The sequential parameter optimization (spot) package for R (R Development Core Team, 2008) is a toolbox for tuning and understanding simulation and optimization algorithms. Model-...
166
click to vote
ENTCS
2010
15 years 6 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
192
Voted
JCM
2008
15 years 6 months ago
2008
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....