Sciweavers

3028 search results - page 380 / 606
» Adaptive Novice Supporter
Sort
View
COGSCI
2006
68views more  COGSCI 2006»
15 years 6 months ago
The Interpretation of Classically Quantified Sentences: A Set-Theoretic Approach
Wepresentaset-theoreticmodelofthementalrepresentationofclassicallyquantifiedsentences(AllP are Q, Some P are Q, Some P are not Q,and No P are Q). We take inclusion, exclusion, and...
Guy Politzer, Jean-Baptiste Van der Henst, Claire ...
ENTCS
2006
146views more  ENTCS 2006»
15 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ISM
2006
IEEE
138views Multimedia» more  ISM 2006»
15 years 6 months ago
Similarity Search Using Sparse Pivots for Efficient Multimedia Information Retrieval
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...
Nieves R. Brisaboa, Antonio Fariña, Oscar P...
155
Voted
JUCS
2008
137views more  JUCS 2008»
15 years 6 months ago
Context-Oriented Programming with the Ambient Object System
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
Sebastián González, Kim Mens, Alfred...
MP
2006
137views more  MP 2006»
15 years 6 months ago
New algorithms for singly linearly constrained quadratic programs subject to lower and upper bounds
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
Yu-Hong Dai, Roger Fletcher