Sciweavers

1684 search results - page 153 / 337
» The lexicographic decision function
Sort
View
DEXAW
2005
IEEE
161views Database» more  DEXAW 2005»
15 years 9 months ago
Adding Semantics to Business Intelligence
  Despite  the  importance  of  analytical  tools  to  organisations,  they  still  lack  the  inference  power  needed to  solve the requests of decision mak...
Denilson Sell, Liliana Cabral, Enrico Motta, John ...
ECAL
2005
Springer
15 years 9 months ago
Evolving Neural Mechanisms for an Iterated Discrimination Task: A Robot Based Model
This paper is about the design of an artificial neural network to control an autonomous robot that is required to iteratively solve a discrimination task based on time-dependent s...
Elio Tuci, Christos Ampatzis, Marco Dorigo
ICCS
2005
Springer
15 years 9 months ago
A Fuzzy Index Tracking Portfolio Selection Model
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
Yong Fang, Shouyang Wang
TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
15 years 9 months ago
An Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
Kenneth L. McMillan
CHI
1993
ACM
15 years 8 months ago
Preserving knowledge in design projects: what designers need to know
In order to inform the design of technology support and new procedural methodsfor softwaredesign,we analyzed the content of real design meetingsin threeorganizations, focusing in ...
James D. Herbsleb, Eiji Kuwana