6020 search results - page 311 / 1204 » A New Approach to Model Counting |
187
click to vote
AAAI
1998
15 years 8 months ago
1998
The Web is based on a browsing paradigm that makes it di cult to retrieve and integrate data from multiple sites. Today, the only way to do this is to build specialized applicatio...
171
click to vote
MAGS
2006
15 years 6 months ago
2006
A mobile multi-agent system is proposed to create solutions for the university course timetabling problem. It is composed of four kinds of agents: (mobile) Course Agents, and (stat...
152
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
Building a model using machine learning that can classify the sentiment of natural language text often requires an extensive set of labeled training data from the same domain as t...
242
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Role-based access control and role hierarchies have been the subject of considerable research in recent years. In this paper, we consider three useful applications of a new role-b...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The automobile is always a point of interest where new technology has been deployed. Because of this interest, human-vehicle interaction has been an appealing area for much resear...