A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
Maurice H. ter Beek, Clarence A. Ellis, Jetty Klei...
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...