1026 search results - page 98 / 206 » A Methodology for Equational Reasoning |
110
click to vote
IGPL
2010
15 years 2 months ago
2010
: Popper s suggestion of taking methodological norms as conventions is examined from the point of view of game theory. The game of research is interpreted as a game of persuasion, ...
114
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
The paper proposes a novel methodology to estimate the velocity of fast moving targets using a single synthetic aperture radar sensor without increasing the Pulse Repetition Frequ...
117
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Large and complex enterprise systems face the same kind of information processing problems that exist on the web in general, and constructing an ontology is a crucial part of many ...
118
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
140
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...