Sciweavers

8337 search results - page 47 / 1668
» Reasoning With Characteristic Models
Sort
View
AOSE
2001
Springer
15 years 6 months ago
Agent-Oriented Modelling: Software versus the World
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
Eric S. K. Yu
AI
1998
Springer
15 years 6 months ago
A Heuristic Incremental Modeling Approach to Course Timetabling
Abstract. The general timetabling problem is an assignment of activities to xed time intervals, adhering to a prede ned set of resource availabilities. Timetabling problems are di ...
Don Banks, Peter van Beek, Amnon Meisels
DLOG
2007
15 years 4 months ago
Modal vs. Propositional Reasoning for model checking with Description Logics
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
CIDM
2007
IEEE
15 years 8 months ago
Application of Neural Networks for Data Modeling of Power Systems with Time Varying Nonlinear Loads
— Nowadays power distribution systems typically operate with nonsinusoidal voltages and currents. Harmonic currents from nonlinear loads propagate through the system and cause ha...
Joy Mazumdar, Ganesh K. Venayagamoorthy, Ronald G....