6836 search results - page 168 / 1368 » Modelling Web-Oriented Architectures |
120
Voted
SSPR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper, we propose a method for recognizing architectural symbols. The method is based on the description of the model through a set of constraints on geometrical ...
108
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
139
Voted
AI
1999
Springer
15 years 3 months ago
1999
Springer
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...
176
click to vote
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
130
Voted
JMLR
2010
14 years 10 months ago
2010
Much recent research has been devoted to learning algorithms for deep architectures such as Deep Belief Networks and stacks of auto-encoder variants, with impressive results obtai...