29147 search results - page 5696 / 5830 » System Modeling Resurrected |
141
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
138
click to vote
AIR
2004
15 years 4 months ago
2004
Real-world data is never perfect and can often suffer from corruptions (noise) that may impact interpretations of the data, models created from the data and decisions made based on...
151
click to vote
VR
2008
IEEE
15 years 4 months ago
2008
IEEE
Virtual interactive student-oriented learning environment (VISOLE) is a game-based constructivist pedagogical approach that encompasses the creation of an online interactive world ...
164
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
145
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: We establish that the occurrence of protein folds among genomes can be accurately described with a Weibull function. Systems which exhibit Weibull character can be int...