51986 search results - page 187 / 10398 » Are There New Models of Computation |
160
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
155
click to vote
NECO
2007
15 years 5 months ago
2007
Recently Izhikevich (2003) proposed a new canonical neuron model of spike generation. The model was surprisingly simple, yet able to accurately replicate the firing patterns of d...
139
click to vote
ICHIM
2001
15 years 7 months ago
2001
The paper proposes a new metadata model (VandA) directed to support innovative exploitation of Historical AV Archives content. After an analysis of the needs of traditional and po...
149
click to vote
CIS
2006
Springer
15 years 10 months ago
2006
Springer
The emerging ubiquitous computing is changing the current computing paradigm, and it lets the ubiquitous RFID applications consistently and independently utilize the sensed inform...
185
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Existing multimedia document models like HTML, MHEG, SMIL, and HyTime lack appropriate modeling primitives to fit the needs of next generation multimedia applications which bring ...