8828 search results - page 192 / 1766 » Formal methods in practice |
141
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
159
Voted
KDID
2004
15 years 6 months ago
2004
We are designing new data mining techniques on boolean contexts to identify a priori interesting bi-sets (i.e., sets of objects or transactions associated to sets of attributes or ...
138
click to vote
JISE
2008
15 years 4 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
137
click to vote
AIED
2007
Springer
15 years 9 months ago
2007
Springer
This study examined the effectiveness of an educational data mining method
145
Voted
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
Simple digital FIR filters have recently been evolved directly in the reconfigurable gate array, ignoring thus a classical method based on multiply