738 search results - page 77 / 148 » Object Orientation and Formal Techniques |
173
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
228
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
Non-verbal interaction signals are of great interest in the research field of natural human-robot interaction. These signals are not limited to gestures and emotional expressions ...
163
click to vote
ICSR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
171
click to vote
PRL
2006
15 years 6 months ago
2006
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
147
click to vote
CHI
2001
ACM
16 years 6 months ago
2001
ACM
CARD (Collaborative Analysis of Requirements and Design) is an influential technique for participatory design and participatory analysis that is in use on three continents. This p...