Search Results

Search found 3938 results on 158 pages for 'goal'.

Page 38/158 | < Previous Page | 34 35 36 37 38 39 40 41 42 43 44 45  | Next Page >

• Proving Predicate Logic using Coq - Beginner Syntax

  - by Alan

  I'm trying to prove the following in Coq: Goal (forall x:X, P(x) /\ Q(x)) - ((forall x:X, P (x)) /\ (forall x:X, Q (x))). Can someone please help? I'm not sure whether to split, make an assumption etc. My apologies for being a complete noob

  Read the article

• How to use Linq to select and group complex child object from a parents list.

  - by Daoming Yang

  How to use Linq to select and group complex child object from a parents list. I have an OrderList each of order object has a OrderProductVariantList(OrderLineList), and each of OrderProductVariant object has ProductVariant, and then the ProductVariant object will have a Product object which contains product information. My goal is to select and group the most popular products from the order list. Can anyone help me with this? Many thanks.

  Read the article

• Minimalist array creation in c#

  - by sipwiz

  I've always wanted to be able to use the line below but the C# compiler won't let me. To me it seems obvious and unambiguos as to what I want. myString.Trim({'[', ']'}); I can acheive my goal using: myString.Trim(new char[]{'[', ']'}); So I don't die wondering is there any other way to do it that is closer to the first approach?

  Read the article

• named/bind zone file parser in C#

  - by Michal Rogozinski

  Hi, I'm looking for a bind/named zone file parser in .NET C#. If there is anything I could import/convert I would be interested too. Unfortunately there's not much, or I'm having troubles finding it. My goal is to make sure a zone file is syntax-errors-free before I push it to the server. I'd appreciate any help or hints. Thanks

  Read the article

• What is used instead of SendMessage and PostMessage in Java to handle inter-thread communications?

  - by Kieveli

  I'm from a WinAPI / C++ background, and I'm curious as to what the Java world uses in place of a threaded message loop in a worker thread to handle communications and interactions between threads. The idea is to use a message pump in both the worker thread, and the main thread, and have them posting messages back and forth. This solution is very WinAPI / C++ centric, and probably not the preferred method of achieving this goal in Java. What is the 'Java' way to do something like this?

  Read the article

• Is there a jQuery widget equal to DOJO's TitlePane?

  - by Bill Caswell

  I like the visual behavior of the DOJO TitlePane widget, but it has too much other bunk for my purpose. http://dojotoolkit.org/reference-guide/dijit/TitlePane.html#dijit-titlepane Is anyone aware of a jQuery widget that provides the same ability to expose and hide content in a stacked manner with the little flippy-arrow, pane highlighting on mouse over, etc? An accordion does not accomplish my goal being able to have multiple panes open at the same time. Thanks in advance.

  Read the article

• Resources for writing kernel in C

  - by anon

  I don't want to write my own boot loader -- happy to use Grub. I just want to implement pre-emptive multi threading, a basic file system, and virtual memory. I want something that can run on top of qemu. What's a good resource (book / tutorial) for accomplishing this goal? Thanks!

  Read the article

• How to access the current Subversion build number?

  - by public static

  duplicate: How do I sync the SVN revision number with my ASP.NET web site? How can you automatically import the latest build/revision number in subversion? The goal would be to have that number visible on your webpage footer like SO does.

  Read the article

• How do you compile without linking in Automake?

  - by MDH

  I am new to Automake and I am attempting to compile without linking. My goal is to generate a simple Makefile as shown below using Automake. CFLAG = -Wall build: Thread.o Thread.o: Thread.cc Thread.h g++ $(CFLAG) -c Thread.cc clean: rm -f *.o My attempt so far has brought me to the following Makefile.ac. noinst_PROGRAMS = thread thread_SOURCES = Thread.cc EXTRA_DIST= Thread.h Does anyone have any advice on how to simulate my original Makefile? Thanks in advance.

  Read the article

• CSS in a Flex 3 Library

  - by LE GALL Benoît

  Hi, I've made a library in flex with different components and my CSS I want to use in different projects (the goal of a library....). BUT even if I can use my components, I can't use my CSS file which is in the library. When I try <mx:Style source="assets/style.css" />, it wasn't found :( So, how I should do to have a CSS file in my library which can be use in a project ?? Thanks for all your help

  Read the article

• Loading package html + resources into webview

  - by mobileopen

  I would like to know how I can display a HTML page in webview with references to relative/local images. The goal is to have the html page and all linked images contained in the android application package itself. Where would I need to place the assets (assets directory?) and how do I reference these so they load into the webview? Thanx! Sven

  Read the article

• Use the output of a command as input of the next command

  - by r2b2

  so i call this php script from the command line : /usr/bin/php /var/www/bims/index.php "projects/output" and it's output is : file1 file2 file3 What I would like to do is get this output and feed to the "rm" command but i think im not doing it right : /usr/bin/php /var/www/bims/index.php "projects/output" | rm My goal is to delete whatever file names the php script outputs. What should be the proper way to do this? Thanks!

  Read the article

• Looking for a way to create a vCard from outlook contacts using C#

  - by JimDel

  I'm looking for a way to create a vCards from Outlook Contacts. Ive seen plenty of examples of how to do the reverse, but that's not what i want. I believe it will involve either the OpenSharedItem method or the OpenSharedFolder method but I havent seen any examples of how to implement this. Does anyone know of where I might find a sample or two? My end goal is to output all my Contacts as vCards to a folder.

  Read the article

• Calculate minimum moves to solve a puzzle

  - by Luke

  I'm in the process of creating a game where the user will be presented with 2 sets of colored tiles. In order to ensure that the puzzle is solvable, I start with one set, copy it to a second set, then swap tiles from one set to another. Currently, (and this is where my issue lies) the number of swaps is determined by the level the user is playing - 1 swap for level 1, 2 swaps for level 2, etc. This same number of swaps is used as a goal in the game. The user must complete the puzzle by swapping a tile from one set to the other to make the 2 sets match (by color). The order of the tiles in the (user) solved puzzle doesn't matter as long as the 2 sets match. The problem I have is that as the number of swaps I used to generate the puzzle approaches the number of tiles in each set, the puzzle becomes easier to solve. Basically, you can just drag from one set in whatever order you need for the second set and solve the puzzle with plenty of moves left. What I am looking to do is after I finish building the puzzle, calculate the minimum number of moves required to solve the puzzle. Again, this is almost always less than the number of swaps used to create the puzzle, especially as the number of swaps approaches the number of tiles in each set. My goal is to calculate the best case scenario and then give the user a "fudge factor" (i.e. 1.2 times the minimum number of moves). Solving the puzzle in under this number of moves will result in passing the level. A little background as to how I currently have the game configured: Levels 1 to 10: 9 tiles in each set. 5 different color tiles. Levels 11 to 20: 12 tiles in each set. 7 different color tiles. Levels 21 to 25: 15 tiles in each set. 10 different color tiles. Swapping within a set is not allowed. For each level, there will be at least 2 tiles of a given color (one for each set in the solved puzzle). Is there any type of algorithm anyone could recommend to calculate the minimum number of moves to solve a given puzzle?

  Read the article

• compiling a linq to sql query

  - by frenchie

  Hi, I have queries that are built like this: public static List<MyObjectModel> GetData (int MyParam) { using (DataModel MyModelDC = new DataModel()) { var MyQuery = from.... select MyObjectModel { ...} } return new List<MyObjectModel> (MyQuery) } } It seems that using compiled linq-to-sql queries are about as fast as stored procedures and so the goal is to convert these queries into compiled queries. What's the syntax for this? Thanks.

  Read the article

• Webkit on Windows Mobile

  - by evilxhwnd

  I wish to embed webkit in a windows mobile application. The goal is to allow it to run web apps. I've tried the Qt version, but only webkit is required and not the rest of the functionality Qt has.

  Read the article

• jquery event listening, non-standard events

  - by Stacey

  I'm attempting to build a way for my selectors to 'listen' to 'global' events that are beyond the typical 'click' 'change' 'submit' etc. I've explored the various 'eventmanagers' that I could find, and they're all still designed for forms. Is there any way to do something like this for non-standard (i.e. custom) events? The goal is to have selectors subscribe to an event, and then be able to trigger it in one place and it will raise it for everything subscribed to it.

  Read the article

• Is it possible to know wich files are available in a specific web folder with AS2 or AS3?

  - by foxtrot

  Hi there. I would like to build an image gallery in Flash with AS2 or AS3 that detects automatically the number of images available in a specific folder (say a level below the swf file). The goal is to don't have to config any xml files with the images to show. Is this possible? Thanks in advance.

  Read the article

• Does the java JFC hash table use seperate chaining resolution? Can I traverse each list in the table

  - by Matt

  I have written a program to store a bunch of strings in a JFC hash table. There are defiantly collisions going on, but I don't really know how it is handling them. My ultimate goal is to print the number of occurrences of each string in the table, and traversing the bucket or list would work nicely. Or maybe counting the collisions? Or do you have another idea of how I could get a count of the elements?

  Read the article

• Accessing Channel Levels when Using +applicationMusicPlayer

  - by Kenny

  When playing music from the users iPod library via the [MPMusicPlayerController applicationMusicPlayer], is there a way to access the channel information much in the same way that you can with the AVAudioPlayer. The goal is to create a level meters while the song is playing.

  Read the article

• ruby inject recursion?

  - by Matt Humphrey

  the goal is to start with ['a','b','c'] and end up with {'a'={'b'={'c'={}}}} so, getting my bearings, i did this: ruby-1.8.7-p174 ['a','b','c'].inject({}){|h,v| h.update(v = {})} = {"a"={}, "b"={}, "c"={}} and then figured, if i actually pass on the result hash, it will recurse and nest, but: ruby-1.8.7-p174 ['a','b','c'].inject({}){|h,v| h.update(v = {}); h[v]} = {} why is this? any idea how to achieve the desired result in an elegant one-liner?

  Read the article

• Good value for declaring "Position reached" in geo coords

  - by poeschlorn

  Hi Guys, I've written a kind of navigation system for pedestrians. The only thing is, that I need a criterion to finish the navigation. My values are gives as lat/long pairs. What would you assume would be a good value to say, both positions are equal/near enough to tell the user that he has reached the goal? Please keep also in mind, that it's idfficult to say "directly equal", because GPS modules may have variances... greetz from europe, poeschlorn

  Read the article

• How can a C++ windows dll be merged into a C# application exe?

  - by Noah

  I have a Windows C# program that uses a C++ dll for data i/o. My goal is to deploy the application as a single EXE. What are the steps to create such an executable?

  Read the article

• New Comer to JS Looking for Guidance

  - by New Coder

  I'm fairly new to JavaScript. Can anyone share some good advice on getting started? I have a little experience in ActionScript 3 and have taken a few Java classes toward my CS degree but my background is of a designer transitioning into development. My goal is to become a well rounded front-end developer and I'd like to move beyond the simple slideshow animations and rollover effects. Any guidance/wisdom will be much appreciated!

  Read the article

• VBA Variable from msgbox to report

  - by user1789785

  I have a macro which runs several Sql queries. One of these queries is run based off a date which in input in a msgbox within the macro (only companies after the date entered are generated). Is it possible to put the value entered in the msgbox at the time the macro is run in a table by itself? (my ultimate goal is to put the value on a report to indicate that values displayed are after the following date: variable) Thanks

  Read the article

< Previous Page | 34 35 36 37 38 39 40 41 42 43 44 45  | Next Page >