3931 search results - page 350 / 787 » Separation logic and abstraction |
165
click to vote
ECMDAFA
2005
Springer
16 years 12 days ago
2005
Springer
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
175
click to vote
EUROCAST
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
189
click to vote
ISNN
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The present study investigates a geometrical method for optimizing the kernel function of a support vector machine. The method is an improvement of the one proposed in [4...
177
click to vote
MLMI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This article describes a method for document/speech alignment based on explicit verbal references to documents and parts of documents, in the context of multimodal meetin...
168
click to vote
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...