21342 search results - page 4030 / 4269 » A Structured Language Model |
126
click to vote
MMB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
121
Voted
CIARP
2006
Springer
15 years 4 months ago
2006
Springer
The Neural Gas (NG) is a Vector Quantization technique where a set of prototypes self organize to represent the topology structure of the data. The learning algorithm of the Neural...
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
150
click to vote
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
147
Voted
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...