2819 search results - page 471 / 564 » Automatic Structures |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
GRID
2006
Springer
13 years 10 months ago
2006
Springer
Peer-to-peer systems offer attractive system management properties, including the ability of components that join the network to self-organize; scalability up to tens of thousands...
IEICET
2006
13 years 10 months ago
2006
Recently, semantic text portion (STP) is getting popular in the field of Web mining. STP is a text portion in the original page which is semantically related to the anchor pointing...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
JSCIC
2008
13 years 10 months ago
2008
This paper presents a second-order accurate adaptive Godunov method for twodimensional (2D) compressible multicomponent flows, which is an extension of the previous adaptive movin...