Sciweavers

2740 search results - page 378 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
114
Voted
COMCOM
2008
80views more  COMCOM 2008»
15 years 3 months ago
Transforming general networks into feed-forward by using turn-prohibition
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...
Juan Echagüe, Jesús E. Villadangos, Vi...
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 3 months ago
The Latent Relation Mapping Engine: Algorithm and Experiments
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...
Peter D. Turney
DKE
2006
84views more  DKE 2006»
15 years 3 months ago
Mining configurable enterprise information systems
Process mining is the extraction of a process model from system logs. These logs have to meet minimum requirements, i.e. each event should refer to a case and a task. Many system ...
Monique H. Jansen-Vullers, Wil M. P. van der Aalst...
JUCS
2008
180views more  JUCS 2008»
15 years 3 months ago
The APS Framework For Incremental Learning of Software Agents
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
Damian Dudek
ENTCS
2007
124views more  ENTCS 2007»
15 years 3 months ago
Structuring Optimizing Transformations and Proving Them Sound
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....
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker