302 search results - page 42 / 61 » Informative Views and Sequential Recognition |
ICDIM
2009
IEEE
14 years 7 months ago
2009
IEEE
On-the-go consumers require dynamic information, particularly "word of mouth," to make better purchase decisions. A popular genre of mobile map services is travel/cuisin...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
JDA
2006
14 years 9 months ago
2006
Traditionally, on-line problems have been studied under the assumption that there is a unique sequence of requests that must be served. This approach is common to most general mod...
AAAI
2012
13 years 5 days ago
2012
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...
NIPS
1997
14 years 11 months ago
1997
Most computational engineering based loosely on biology uses continuous variables to represent neural activity. Yet most neurons communicate with action potentials. The engineerin...