15253 search results - page 2908 / 3051 » Integer-Programming Software Systems |
157
Voted
FMSD
2007
15 years 2 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
137
Voted
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
We address a specific enterprise document search scenario, where the information need is expressed in an elaborate manner. In our scenario, information needs are expressed using a...
146
click to vote
IJMSO
2007
15 years 2 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...
142
Voted
INTERNET
2007
15 years 2 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
113
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: The biological research literature is a major repository of knowledge. As the amount of literature increases, it will get harder to find the information of interest on...