2435 search results - page 341 / 487 » Intellexer Question Answering |
176
Voted
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...
180
click to vote
ICS
1997
Tsinghua U.
15 years 9 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 ...
150
click to vote
CHI
1994
ACM
15 years 9 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...
160
click to vote
CSE
2009
IEEE
15 years 9 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...
150
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...