10435 search results - page 1773 / 2087 » Computational Biology and Language |
208
click to vote
AINA
2005
IEEE
16 years 13 days ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
157
click to vote
C5
2005
IEEE
16 years 13 days ago
2005
IEEE
The authors have some experience in building virtual worlds for education purposes, in archaeology and for language learning. However, many mainstream world-building applications ...
171
click to vote
FOCS
2005
IEEE
16 years 13 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
150
click to vote
ICAC
2005
IEEE
16 years 13 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
172
click to vote
ICDCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...