6618 search results - page 1050 / 1324 » Natural Logic for Natural Language |
186
click to vote
SAT
2007
Springer
16 years 26 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
181
click to vote
ASWEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
178
click to vote
CAMP
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
195
click to vote
CCGRID
2005
IEEE
16 years 11 days ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
169
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...