14056 search results - page 14 / 2812 » Consistency in Model Integration |
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
SE
2007
13 years 8 months ago
2007
Abstract: Applications based on plug-in architectures are extensible through thirdparties and enable customized user environments. We argue that extensibility and customization are...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
AINA
2010
IEEE
14 years 15 days ago
2010
IEEE
Our world is increasingly data-driven. The growth and value of data continue to exceed all predictions. Potential for business opportunity, economic growth, scientific discovery, ...