Sciweavers

4052 search results - page 534 / 811
» integration 2007
Sort
View
JMM2
2007
116views more  JMM2 2007»
15 years 7 months ago
Automatic Deformation Detection for Aircraft Engine Disk Inspection
— Computer vision algorithms are seeing increased use in industrial inspection applications. Here, we present an “Aid to Visual” system that can detect post deformations of l...
Dirk R. Padfield, Glen Brooksby, Robert Kaucic
JNW
2007
113views more  JNW 2007»
15 years 7 months ago
Using Virtualization to Provide Interdomain QoS-enabled Routing
— Today, the most important aspect related with the Internet architecture is its ossification representing the difficulties to introduce evolutions in the architecture as a way...
Fábio Luciano Verdi, Maurício F. Mag...
4OR
2004
79views more  4OR 2004»
15 years 7 months ago
Constrained auction clearing in the Italian electricity market
Most of the liberalized electricity systems use the auction as a market model. The complexity of the underlying optimization formulation depends on the technical and regulatory con...
Patrizia Beraldi, Domenico Conforti, Chefi Triki, ...
JODL
2007
126views more  JODL 2007»
15 years 7 months ago
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...
Mark Gahegan, Ritesh Agrawal, Tawan Banchuen, Davi...
JOT
2007
169views more  JOT 2007»
15 years 7 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...