2230 search results - page 64 / 446 » Reformulating Constraint Models Using Input Data |
84
Voted
IWCMC
2006
ACM
15 years 3 months ago
2006
ACM
Wireless sensors use low power radio transceivers due to the stringent constraints on battery capacity. As a result, radio transmission with wireless sensors is unreliable. Furthe...
CAV
1998
Springer
15 years 1 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
CRV
2008
IEEE
15 years 4 months ago
2008
IEEE
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
78
Voted
EMNLP
2007
14 years 11 months ago
2007
In Sequential Viterbi Models, such as HMMs, MEMMs, and Linear Chain CRFs, the type of patterns over output sequences that can be learned by the model depend directly on the modelâ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...