Sciweavers

1925 search results - page 128 / 385
» Theory research at Google
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 7 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
ECSCW
1997
15 years 7 months ago
Rethinking CSCW systems: The architecture of Milano
: After eleven years, CSCW is a well recognized research field which has generated, among other things, some new theoretical findings on work practices and cooperation and some new...
Alessandra Agostini, Giorgio De Michelis, Maria An...
IJCAI
1989
15 years 7 months ago
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
The study of belief revision and reasoning about actions have been two of the most active areas of research in AI. Both these areas involve reasoning about change. However very li...
Anand S. Rao, Norman Y. Foo
DM
2008
82views more  DM 2008»
15 years 6 months ago
Problems and results in extremal combinatorics - II
Extremal Combinatorics is one of the central areas in Discrete Mathematics. It deals with problems that are often motivated by questions arising in other areas, including Theoreti...
Noga Alon
IIE
2008
112views more  IIE 2008»
15 years 6 months ago
Towards a Blended Learning Model for Teaching and Learning Computer Programming: A Case Study
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
Said Hadjerrouit