3515 search results - page 644 / 703 » On the semantics of Strategy Logic |
165
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
181
Voted
FLAIRS
2008
15 years 9 months ago
2008
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...
193
click to vote
EUROSPI
2008
Springer
15 years 8 months ago
2008
Springer
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...
207
click to vote
APVIS
2008
15 years 8 months ago
2008
The widespread use of mobile devices brings opportunities to capture large-scale, continuous information about human behavior. Mobile data has tremendous value, leading to busines...
156
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we describe a proof-of-concept for the bootstrapping of a Persian WordNet. This effort was motivated by previous work done at Stanford University on bootstrapping an...