2435 search results - page 341 / 487 » Intellexer Question Answering |
179
click to vote
APAL
2004
15 years 5 months ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...
184
click to vote
ICS
1997
Tsinghua U.
15 years 10 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
155
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
168
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Existing work has been focused on minimizing the number of relay nodes to maintain the connectivity of a sensor network. However, we believe replacing batteries for nodes or redepl...
154
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
One important task of semantic web portals is to offer both end users and applications a seamless access to knowledge contained in heterogeneous data sources in specific user commu...