2308 search results - page 419 / 462 » Categorial Semantics For LFG |
183
click to vote
COMPSAC
2008
IEEE
16 years 17 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
173
click to vote
CODES
2007
IEEE
16 years 13 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
145
click to vote
DASFAA
2007
IEEE
16 years 13 days ago
2007
IEEE
Recently, several approaches and systems were proposed to store in the same database data and the ontologies describing their meanings. We call these databases, ontology-based data...
173
Voted
KBSE
2007
IEEE
16 years 11 days ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
180
click to vote
ATAL
2007
Springer
16 years 8 days ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...