3679 search results - page 576 / 736 » Hybrid Semantic Analysis |
150
click to vote
CONEXT
2006
ACM
16 years 13 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
162
click to vote
JCDL
2006
ACM
16 years 12 days ago
2006
ACM
The desire for definitive data and the semantic web drive for inference over heterogeneous data sources requires co-reference resolution to be performed on those data. In particul...
161
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
156
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
178
click to vote
ICCD
2005
IEEE
16 years 2 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...