1419 search results - page 57 / 284 » Notes on Formalizing Context |
125
click to vote
IIE
2007
15 years 15 days ago
2007
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
130
Voted
JODS
2007
15 years 14 days ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
98
Voted
BTW
2007
Springer
15 years 6 months ago
2007
Springer
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
105
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
121
click to vote
KDID
2004
15 years 2 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 ...