367 search results - page 64 / 74 » On Underspecified Processing of Dynamic Semantics |
WISE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The key for providing a robust context for personalized information retrieval is to build a library which gathers the long term and the short term user’s interests and ...
FCT
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
SIPS
2006
IEEE
14 years 22 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
MM
2006
ACM
14 years 20 days ago
2006
ACM
Access to devices that integrate Global Positioning data with image and sound acquisition becomes more common, enabling people to build large collections of locative multimedia. A...
APN
2005
Springer
14 years 8 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...