2849 search results - page 244 / 570 » As We Should Have Thought |
160
click to vote
LFCS
2007
Springer
16 years 29 days ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
173
click to vote
CGI
2006
IEEE
16 years 27 days ago
2006
IEEE
Pen-based user interface has become a hot research field in recent years. Pen gesture plays an important role in Pen-based user interfaces. But it’s difficult for UI designers to...
164
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
IT value remains a serious concern of management today, especially how it should be measured and how it is created. Although we have made significant progress at the firm and aggre...
192
click to vote
SUTC
2006
IEEE
16 years 25 days ago
2006
IEEE
Sensor networks have attracted intensive interests due to its extendable capability. In this paper, we attempt to answer a fundamental but practical question:” how should we dep...
171
click to vote
VLDB
2005
ACM
16 years 9 days ago
2005
ACM
Popular XML languages, like XPath, use “treepattern” queries to select nodes based on their structural characteristics. While many processing methods have already been propose...