2268 search results - page 321 / 454 » The Essence of Form Abstraction |
119
click to vote
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
107
click to vote
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- Decomposing a complex computational problem into sub-problems, which are computationally simpler to solve individually and which can be combined to produce a solution to ...
118
click to vote
ALGOSENSORS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we present an Intrusion Detection System designed for wireless sensor networks and show how it can be configured to detect Sinkhole attacks. A Sinkhole at...
114
click to vote
COCOON
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Protein-protein interactions (PPIs) are one of the most important mechanisms in cellular processes. To model protein interaction sites, recent studies have suggested to f...
145
click to vote
COST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natur...