7366 search results - page 1083 / 1474 » Development of the Information Systems Implementation Resear... |
191
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
193
click to vote
VISUALIZATION
2005
IEEE
16 years 11 days ago
2005
IEEE
Scientific illustrations use accepted conventions and methodologies to effectively convey object properties and improve our understanding. We present a method to illustrate volum...
183
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
155
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
175
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
Coarse-grain reconfigurable architectures have been a matter of intense research in the last few years. They promise to be more adequate for computational tasks due to their better...