Sciweavers

78 search results - page 2 / 16
» Organization Oriented Programming: From Closed to Open Organ...
Sort
View
AISC
2010
Springer
15 years 25 days ago
A Formal Quantifier Elimination for Algebraically Closed Fields
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
Cyril Cohen, Assia Mahboubi
ICNS
2006
IEEE
15 years 3 months ago
Building Distributed Access Control System Using Service-Oriented Programming Model
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
Ivan Zuzak, Sinisa Srbljic, Ivan Benc
98
Voted
CSEE
2001
Springer
15 years 2 months ago
YOOPEEDOO (UPEDU): A Process for Teaching Software Process
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...
Pierre N. Robillard, Philippe Kruchten, Patrick d'...
67
Voted
PKDD
2010
Springer
128views Data Mining» more  PKDD 2010»
14 years 8 months ago
Learning to Tag from Open Vocabulary Labels
Most approaches to classifying media content assume a fixed, closed vocabulary of labels. In contrast, we advocate machine learning approaches which take advantage of the millions...
Edith Law, Burr Settles, Tom M. Mitchell
IJCV
2007
363views more  IJCV 2007»
14 years 9 months ago
Image Analysis and Reconstruction using a Wavelet Transform Constructed from a Reducible Representation of the Euclidean Motion
Abstract. Inspired by the early visual system of many mammalians we consider the construction of-and reconstruction from- an orientation score Uf : R2 ×S1 → C as a local orienta...
Remco Duits, Michael Felsberg, Gösta H. Granl...