Sciweavers

3793 search results - page 642 / 759
» Expressive Description Logics
Sort
View
WICSA
2008
15 years 7 months ago
Using Types to Enforce Architectural Structure
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
Jonathan Aldrich
DAGSTUHL
2004
15 years 7 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
NIPS
2004
15 years 7 months ago
Trait Selection for Assessing Beef Meat Quality Using Non-linear SVM
In this paper we show that it is possible to model sensory impressions of consumers about beef meat. This is not a straightforward task; the reason is that when we are aiming to i...
Juan José del Coz, Gustavo F. Bayón,...
WSC
1998
15 years 7 months ago
SEAMS: Simulation Environment for VHDL-AMS
VHDL-AMS is an Analog and Mixed-Signal extension to the Very High Speed Integrated Circuit Hardware Description Language (VHDL). With the standardization of VHDL-AMS, capable and ...
Peter Frey, Kathiresan Nellayappan, Vasudevan Sahn...
RIAO
2000
15 years 7 months ago
Statistical motion-based video indexing and retrieval
We propose an original approach for the characterization of video dynamic content with a view to supplying new functionalities for motion-based video indexing and retrieval with q...
Ronan Fablet, Patrick Bouthemy, P. Perez