Sciweavers

3911 search results - page 444 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
AGI
2011
14 years 10 months ago
The LIDA Framework as a General Tool for AGI
Intelligent software agents aiming for general intelligence are likely to be exceedingly complex systems and, as such, will be difficult to implement and to customize. Frameworks h...
Javier Snaider, Ryan James McCall, Stan Franklin
IJDE
2007
105views more  IJDE 2007»
15 years 6 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
MICRO
2010
IEEE
156views Hardware» more  MICRO 2010»
15 years 5 months ago
Explicit Communication and Synchronization in SARC
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
Manolis Katevenis, Vassilis Papaefstathiou, Stamat...
WSC
2001
15 years 8 months ago
Call center scheduling technology evaluation using simulation
Telemarketers, direct marketing agencies, collection agencies and others whose primary means of customer contact is via the telephone invest considerable sums of money to make the...
Sandeep Gulati, Scott A. Malcolm
AH
2000
Springer
15 years 11 months ago
A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
Kyparisia A. Papanikolaou, George D. Magoulas, Mar...