3408 search results - page 407 / 682 » Logic, language, information and computation |
144
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
257
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...
165
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
203
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...
160
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...