1826 search results - page 173 / 366 » Using Random Forests in the Structured Language Model |
146
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
158
Voted
VL
1995
IEEE
15 years 8 months ago
1995
IEEE
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
129
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
140
Voted
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
156
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...