5634 search results - page 450 / 1127 » About Abstract Classes |
167
click to vote
ICON
2007
IEEE
16 years 1 months ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
195
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
185
Voted
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
178
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
186
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...