1438 search results - page 181 / 288 » An Expressive Extension of TLC |
170
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Several high-throughput searches for ppotential natural antisense transcripts (NATs) have been performed recently, but most of the reports were focused on cis type. A ...
173
click to vote
FCT
2009
Springer
16 years 29 days ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
166
click to vote
JCDL
2005
ACM
15 years 12 months ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
193
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
209
click to vote
SG
2005
Springer
15 years 12 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...