2041 search results - page 340 / 409 » Modelling Generic Judgements |
130
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
97
Voted
ACIVS
2008
Springer
15 years 9 months ago
2008
Springer
In many real-world object recognition applications, texture plays a very important role. Much research has gone into texture-based segmentation methods, which focus on finding the...
125
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
—To understand how node mobility and Byzantine node failures affect connectivity of wireless multi-hop networks, this paper investigates resilience of geometric random graphs to ...
106
click to vote
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...
129
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...