Sciweavers

2102 search results - page 354 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
14 years 1 months ago
Research on Task Complexity as a Foundation for Augmented Cognition
In order to implement real-time adaptive augmented cognition, one of the focal points of our present research involves understanding the dimensions of task complexity. Task comple...
Martha E. Crosby, Marie Iding, David N. Chin
TPHOL
2003
IEEE
14 years 1 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
WECWIS
2003
IEEE
118views ECommerce» more  WECWIS 2003»
14 years 1 months ago
Trade Determination in Multi-Attribute Exchanges
Electronic exchanges are double-sided marketplaces that allow multiple buyers to trade with multiple sellers, with aggregation of demand and supply across the bids to maximize the...
S. Kameshwaran, Y. Narahari
SIGIR
2003
ACM
14 years 29 days ago
A personalised information retrieval tool
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
Innes Martin, Joemon M. Jose
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
14 years 28 days ago
Active Guidance for a Finless Rocket Using Neuroevolution
Finless rockets are more efficient than finned designs, but are too unstable to fly unassisted. These rockets require an active guidance system to control their orientation durin...
Faustino J. Gomez, Risto Miikkulainen