6618 search results - page 1313 / 1324 » Web Search Engines |
BIRTHDAY
1991
Springer
14 years 4 days ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
USENIX
2007
13 years 11 months ago
2007
Memory state can be corrupted by the impact of particles causing single-event upsets (SEUs). Understanding and dealing with these soft (or transient) errors is important for syste...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Social network systems on the Internet, such MySpace and LinkedIn, are growing in popularity around the world. The level of such activity is now comparable to that associated with...
ACMSE
2006
ACM
13 years 10 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...