Sciweavers

431 search results - page 13 / 87
» The five orders of ignorance
Sort
View
61
Voted
ENC
2005
IEEE
15 years 3 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
CP
2006
Springer
15 years 1 months ago
An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP
This paper deals with methods exploiting tree-decomposition approaches for solving constraint networks. We consider here the practical efficiency of these approaches by defining fi...
Philippe Jégou, Samba Ndiaye, Cyril Terriou...
CORR
2008
Springer
67views Education» more  CORR 2008»
14 years 9 months ago
Noise and thermal stability of vibrating micro-gyrometers preamplifiers
The preamplifier is a critical component of gyrometer's electronics. Indeed the resolution of the sensor is limited by its signal to noise ratio, and the gyrometer's the...
R. Levy, Antoine Dupret, Hervé Mathias, Jea...
IAT
2008
IEEE
15 years 3 months ago
Time and Defeasibility in FIPA ACL Semantics
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...
Guido Boella, Guido Governatori, Joris Hulstijn, R...
SKG
2006
IEEE
15 years 3 months ago
Embedding the Semantic Knowledge in Convolution Kernels
Convolution kernels, such as tree kernel and subsequence kernel are useful for natural language processing tasks. However, most of them ignore the semantic knowledge. In order to ...
Kebin Liu, Fang Li, Ying Han, Lei Liu