7075 search results - page 415 / 1415 » Models and heterogeneous reasoning |
156
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
169
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the nonequilibrium phenomena of a coupled active rotator model in complex networks. From a numerical Langevin simulation, we find the peculiar phase transition ...
151
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
182
click to vote
AFRIGRAPH
2004
ACM
16 years 9 days ago
2004
ACM
Models of implicit surfaces and curves trimmed by a solid are discussed in the context of dimensionally heterogeneous object modeling. Both a carrier surface and a trimming solid ...
198
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...