1849 search results - page 361 / 370 » Intelligent Expressions of Emotions |
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...