1026 search results - page 98 / 206 » A Methodology for Equational Reasoning |
IGPL
2010
13 years 7 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, ...
ICIP
2001
IEEE
14 years 10 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...
ESWS
2007
Springer
14 years 3 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 ...
ICLP
2007
Springer
14 years 3 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...
RR
2007
Springer
14 years 3 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...