Sciweavers

1301 search results - page 82 / 261
» Specifications via Realizability
Sort
View
AAAI
2007
14 years 11 days ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
IADIS
2004
13 years 11 months ago
Erroneous Examples as a Source of Learning in Mathematics
We analyze why and how erroneous examples can be beneficially employed in learning mathematics. The `Why' addresses reasoning and attitudes that are rarely fostered in today&...
Erica Melis
EUSFLAT
2003
145views Fuzzy Logic» more  EUSFLAT 2003»
13 years 11 months ago
Proximity fuzzy clustering for web context analysis
This study extends the web classification approach through a proximity-based fuzzy clustering sensible to the influence of the page. The proximity-based fuzzy clustering works in ...
Vincenzo Loia, Witold Pedrycz, Sabrina Senatore
SERP
2004
13 years 11 months ago
A Petri Net Based Software Architecture for UAV Simulation
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...
Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E....
CDC
2009
IEEE
152views Control Systems» more  CDC 2009»
13 years 11 months ago
Speed synchronization of multiple induction motors with adjacent cross coupling control
In this paper, a new control approach for real time speed synchronization of multiple induction motors during speed acceleration and load changes is developed. The control strategy...
Dezong Zhao, Chunwen Li, Jun Ren