Model Generation for Natural Language Interpretation and AnalysisMathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Natural language processing has become a topic of outstanding relevance in information technology, mainly due to the explosive growth of the... | | Understanding SCA (Service Component Architecture)Use SCA to Simplify the Development and Delivery of Service-Based Applications
Service Component Architecture (SCA) is a new programming model that enables developers to build distributed applications more efficiently and effectively than previous... | | Governance and Sustainable Urban Transport in the Americas
This volume explores the governance patterns of three cities of the Americas, Seattle, Montreal, and Curitiba, which all present different but interesting cases in dealing with sustainable urban transport challenges. The authors study empirical data from these three cities to analyze how specific governmental and... |