6020 search results - page 889 / 1204 » A New Approach to Model Counting |
330
Voted
GIS
2005
ACM
16 years 8 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
233
Voted
MOBISYS
2008
ACM
16 years 7 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
208
Voted
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
195
Voted
SI3D
2006
ACM
16 years 1 months ago
2006
ACM
Animating 3D faces to achieve compelling realism is a challenging task in the entertainment industry. Previously proposed face transfer approaches generally require a high-quality...
227
Voted
UML
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...