4861 search results - page 549 / 973 » Parsimonious concept modeling |
177
click to vote
COLT
2007
Springer
16 years 1 months ago
2007
Springer
This paper solves an important problem left open in the literature by showing that U-shapes are unnecessary in iterative learning. A U-shape occurs when a learner first learns, t...
183
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
204
click to vote
RSKT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
173
click to vote
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
203
click to vote
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...