8874 search results - page 219 / 1775 » A New Implementation of Automath |
180
click to vote
CAMAD
2006
IEEE
15 years 6 months ago
2006
IEEE
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...
165
click to vote
ELECTRONICMARKETS
2011
14 years 11 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
115
click to vote
SSDBM
2008
IEEE
15 years 11 months ago
2008
IEEE
In order to establish consolidated standards in novel data mining areas, newly proposed algorithms need to be evaluated thoroughly. Many publications compare a new proposition – ...
122
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
A new class of non-totally symmetric functions which can be represented as simple regular symmetric arrays without redundancy is identified. Regular circuits are becoming crucialy...
143
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...