4036 search results - page 482 / 808 » Formal Methods |
144
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
185
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
167
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
To render images from a three-dimensional array of sample values, it is necessary to interpolate between the samples. This paper is concerned with interpolation methods that are e...
203
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
209
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...