8874 search results - page 180 / 1775 » A New Implementation of Automath |
160
click to vote
ICPP
2009
IEEE
15 years 1 months ago
2009
IEEE
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...
142
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
On the Semantic Web, decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources...
127
Voted
ISCAS
2011
IEEE
14 years 8 months ago
2011
IEEE
— A new on-die temperature sensor that operates at low supply voltages and exhibits low process sensitivity and good linearity over a wide temperature range is introduced. When c...
116
click to vote
CSUR
2000
15 years 4 months ago
2000
applications parts. Programmers can easily implement new parts by using abstract classes of the framework. HotDoc is implemented in VisualWorks Smalltalk.
160
click to vote
KI
2005
Springer
15 years 9 months ago
2005
Springer
This paper reports further progress into a computational implementation of a new formalism for construction grammar, known as Fluid Construction Grammar (FCG). We focus in particu...