3408 search results - page 283 / 682 » Logic, language, information and computation |
154
click to vote
IGPL
2008
15 years 6 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
188
click to vote
IOR
2007
15 years 6 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
208
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: One of the most pressing issues in improving disaster management is that of information integration. With many organizations involved in the disaster, crossing regional or even n...
158
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
180
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
A 2x2 enhanced Wizard-of-Oz experiment (N = 32) was conducted to compare two different approaches to presenting information to drivers in easy and difficult driving conditions. Da...