212 search results - page 42 / 43 » Working with Mathematical Structures in Type Theory |
MOBIHOC
2008
ACM
14 years 5 months ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
WIKIS
2009
ACM
14 years 8 days ago
2009
ACM
Information Systems (IS) innovations are often characterized by buzzwords, reflecting organizing visions that structure and express the images and ideas formed by a wide community...
SCESM
2006
ACM
13 years 11 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
VISUALIZATION
1999
IEEE
13 years 10 months ago
1999
IEEE
In recent years, substantial progress has been achieved in the area of volume visualization on irregular grids, which is mainly based on tetrahedral meshes. Even moderately fine t...
KDD
2000
ACM
13 years 9 months ago
2000
ACM
Information extraction is one of the most important techniques used in Text Mining. One of the main problems in building information extraction (IE) systems is that the knowledge ...