7861 search results - page 373 / 1573 » Orthographic Modeling Environment |
251
click to vote
CONTEXT
2011
Springer
14 years 6 months ago
2011
Springer
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals inte...
175
click to vote
IPOM
2009
Springer
16 years 1 months ago
2009
Springer
The operational model for large Internet service providers is moving to a multi-layer architecture consisting of IP/MPLS coupled with OTN/DWDM. While there has been significant wo...
170
click to vote
TPHOL
2003
IEEE
16 years 4 hour ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
165
click to vote
ISNN
2007
Springer
16 years 26 days ago
2007
Springer
The paper presents a pattern-oriented agent-based model to simulate the dynamics of a stock market. The model generates satisfactory market macro-level trend and volatility while t...
165
Voted
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Re-using e-learning content is a solution often proposed against the high-cost of the creation high-quality e-learning material, a solution with a neglectable price. In this paper ...