2041 search results - page 340 / 409 » Modelling Generic Judgements |
164
click to vote
TPHOL
2008
IEEE
16 years 16 days 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...
136
click to vote
ACIVS
2008
Springer
16 years 15 days 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...
168
click to vote
GLOBECOM
2007
IEEE
16 years 15 days 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 ...
137
click to vote
ICDCS
2007
IEEE
16 years 14 days 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...
164
click to vote
IPPS
2007
IEEE
16 years 14 days 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...