Sciweavers

8031 search results - page 1124 / 1607
» Knowledge and Workflow Systems
Sort
View
IJWET
2008
75views more  IJWET 2008»
15 years 5 months ago
Semantic model-driven development of web service architectures
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
Claus Pahl
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 5 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
Filip Maric, Predrag Janicic
JOCN
2010
108views more  JOCN 2010»
15 years 5 months ago
Verbal Labels Modulate Perceptual Object Processing in 1-Year-Old Children
â–  Whether verbal labels help infants visually process and categorize objects is a contentious issue. Using electroencephalography, we investigated whether possessing familiar or...
Teodora Gliga, Agnes Volein, Gergely Csibra
SYNTHESE
2010
97views more  SYNTHESE 2010»
15 years 5 months ago
The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
Willem R. de Jong
TCOM
2010
110views more  TCOM 2010»
15 years 5 months ago
Joint data QR-detection and Kalman estimation for OFDM time-varying Rayleigh channel complex gains
—This paper deals with the case of a high speed mobile receiver operating in an orthogonal-frequency-divisionmultiplexing (OFDM) communication system. Assuming the knowledge of d...
Hussein Hijazi, Laurent Ros
« Prev « First page 1124 / 1607 Last » Next »