4290 search results - page 156 / 858 » Formal Approaches to Teamwork |
161
click to vote
FAC
2002
15 years 6 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
211
click to vote
IJON
2008
15 years 5 months ago
2008
The problem of inductive supervised learning is discussed in this paper within the context of multi-objective (MOBJ) optimization. The smoothness-based apparent (effective) comple...
132
click to vote
JUCS
2010
15 years 5 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
151
click to vote
HVC
2007
Springer
16 years 22 days ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
187
click to vote
ACL
2006
15 years 8 months ago
2006
We present a new approach for mapping natural language sentences to their formal meaning representations using stringkernel-based classifiers. Our system learns these classifiers ...