134 search results - page 24 / 27 » On Formalisms And Analysis, Generation And Synthesis In Mach... |
INAP
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
ENTCS
2007
13 years 7 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
ANLP
1997
13 years 8 months ago
1997
We classify and review current approaches to software infrastructure for research, development and delivery of NLP systems. The task is motivated by a discussion of current trends...
JUCS
2008
13 years 7 months ago
2008
: The definition of the Fuzzy Rule Base is one of the most important and difficult tasks when designing Fuzzy Systems. This paper discusses the results of two different hybrid meth...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...